package why3

  1. Overview
  2. Docs
val blocking : bool
val multiplier : int
val timeout : ms:int -> (unit -> bool) -> unit
val idle : prio:int -> (unit -> bool) -> unit
OCaml

Innovation. Community. Security.