package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

  • raises Util.Timeout

    if the timeout is reached before f () completes.