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.