sig val string_of : unit -> string val reset : unit -> unit end