Previous
Up
Next
Module
Builtins_nonfree_deterministic
module
Builtins_nonfree_deterministic:
sig
..
end
Non-free Value builtins for deterministic code. Contact CEA LIST for licensing
Nothing is exported, all the builtins are registered through