Module Builtins_nonfree_string

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


Nothing is exported, all the builtins are registered through