sig   val dump_state : Db.Value.builtin_sig   val dump_args : string -> Db.Value.builtin_sig   val dump_state_file : string -> Db.Value.builtin_sig end