Module Builtins_misc

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