Imandra_util__Util.Stopwatch
type t
val create : unit -> t
val time : t -> float
val stop : t -> unit