Options.Time
val start : unit -> unit
val value : unit -> float
val set_timeout : float -> unit
val unset_timeout : unit -> unit
val with_timeout : float -> (unit -> 'a) -> 'a
with_timeout tm f calls f () with a timeout of tm, and unsets the timeout once the call to f () completes or raises an exception.
with_timeout tm f
f ()
tm
Util.Timeout
if the timeout is reached before f () completes.