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.