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