Module Builtins_nonfree

module Builtins_nonfree: sig .. end
Non-free Value builtins. Contact CEA LIST for licensing

Called by the memcpy builtin. Warns when the offsetmap contains an indterminate value, when the imprecision category is enabled



Nothing is exported, all the builtins are registered through