sig val total : unit -> float val start : unit -> float type timer val start_timer : unit -> Utils.Time.timer val stop_timer : Utils.Time.timer -> unit val get_timer : Utils.Time.timer -> float end