sig
exception DontKnow
type priority
val immediate : Facile.Cstr.priority
val normal : Facile.Cstr.priority
val later : Facile.Cstr.priority
type t
val id : Facile.Cstr.t -> int
val name : Facile.Cstr.t -> string
val priority : Facile.Cstr.t -> Facile.Cstr.priority
val fprint : Pervasives.out_channel -> Facile.Cstr.t -> unit
val is_solved : Facile.Cstr.t -> bool
val create :
?name:string ->
?nb_wakings:int ->
?fprint:(Pervasives.out_channel -> unit) ->
?priority:Facile.Cstr.priority ->
?init:(unit -> unit) ->
?check:(unit -> bool) ->
?not:(unit -> Facile.Cstr.t) ->
(int -> bool) -> (Facile.Cstr.t -> unit) -> Facile.Cstr.t
val post : Facile.Cstr.t -> unit
val init : Facile.Cstr.t -> unit
val one : Facile.Cstr.t
val zero : Facile.Cstr.t
val active_store : unit -> Facile.Cstr.t list
end