package facile

  1. Overview
  2. Docs
exception DontKnow
type priority
val immediate : priority
val normal : priority
val later : priority
type t
val id : t -> int
val name : t -> string
val priority : t -> priority
val fprint : out_channel -> t -> unit
val is_solved : t -> bool
val create : ?name:string -> ?nb_wakings:int -> ?fprint:(out_channel -> unit) -> ?priority:priority -> ?init:(unit -> unit) -> ?check:(unit -> bool) -> ?not:(unit -> t) -> (int -> bool) -> (t -> unit) -> t
val post : t -> unit
val init : t -> unit
val one : t
val zero : t
val active_store : unit -> t list