Previous
Up
Next
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