Previous
Up
Next
Module
Builtins_misc
module
Builtins_misc:
sig
..
end
Builtins for normalization and dumping of values or state. Builtins are registered directly, and are not exported here.