module Cstr: sig
.. end
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 : Pervasives.out_channel -> t -> unit
val is_solved : t -> bool
val create : ?name:string ->
?nb_wakings:int ->
?fprint:(Pervasives.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