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