package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val enable_thread_delay : bool ref
val interrupt : bool ref
val check_for_interrupt : unit -> unit
val timeout : int -> ('a -> 'b) -> 'a -> exn -> 'b
type timeout = {
  1. timeout : 'a 'b. int -> ('a -> 'b) -> 'a -> exn -> 'b;
}
val set_timeout : timeout -> unit
val protect_sigalrm : ('a -> 'b) -> 'a -> 'b