Biabduction.Timeout
Handle timeout events
val exe_timeout : ('a -> unit) -> 'a -> IBase.Exception.failure_kind option
Execute the function up to a given timeout.