sig
  val reset : unit -> unit
  val time : string -> ('a -> 'b) -> 'a -> 'b
  val print : out_channel -> string -> unit
end