module Builtins_misc: sig
.. end
Builtins for normalization and dumping of values or state. Most builtins
are registered directly, and are not exported here.
val dump_state : Db.Value.builtin_sig
Builtins with multiple names; the lookup is done using a distinctive
prefix
val dump_args : string -> Db.Value.builtin_sig
val dump_state_file : string -> Db.Value.builtin_sig