exception DontKnow
type priority = Fcl_cstr.priority
val immediate : priority
val normal : priority
val later : priority
type t = Fcl_cstr.t
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 one : t
val zero : 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 active_store : unit -> t list
val not : t -> t
type event = Fcl_cstr.event
val new_event : unit -> event
val schedule : event -> unit
val register : event -> ?waking_id:int -> t -> unit
val registered : event -> (t * int) list
val delay : event list -> ?waking_id:int -> t -> unit
val conjunction : t list -> t
val reset_queue : unit -> unit
val assert_empty_queue : unit -> unit
val wake_all : unit -> unit
val init : t -> unit
val self_delay : t -> t -> unit
val check : t -> bool