sig   exception DontKnow   type priority   val immediate : Fcl_cstr.priority   val normal : Fcl_cstr.priority   val later : Fcl_cstr.priority   type t   val create :     ?name:string ->     ?nb_wakings:int ->     ?fprint:(Pervasives.out_channel -> unit) ->     ?priority:Fcl_cstr.priority ->     ?init:(unit -> unit) ->     ?check:(unit -> bool) ->     ?not:(unit -> Fcl_cstr.t) ->     (int -> bool) -> (Fcl_cstr.t -> unit) -> Fcl_cstr.t   val post : Fcl_cstr.t -> unit   val one : Fcl_cstr.t   val zero : Fcl_cstr.t   val id : Fcl_cstr.t -> int   val name : Fcl_cstr.t -> string   val priority : Fcl_cstr.t -> Fcl_cstr.priority   val fprint : Pervasives.out_channel -> Fcl_cstr.t -> unit   val is_solved : Fcl_cstr.t -> bool   val active_store : unit -> Fcl_cstr.t list   val not : Fcl_cstr.t -> Fcl_cstr.t   type event   val new_event : unit -> Fcl_cstr.event   val schedule : Fcl_cstr.event -> unit   val register : Fcl_cstr.event -> ?waking_id:int -> Fcl_cstr.t -> unit   val registered : Fcl_cstr.event -> (Fcl_cstr.t * int) list   val delay : Fcl_cstr.event list -> ?waking_id:int -> Fcl_cstr.t -> unit   val conjunction : Fcl_cstr.t list -> Fcl_cstr.t   val reset_queue : unit -> unit   val assert_empty_queue : unit -> unit   val wake_all : unit -> unit   val init : Fcl_cstr.t -> unit   val self_delay : Fcl_cstr.t -> Fcl_cstr.t -> unit   val check : Fcl_cstr.t -> bool end