module type ATTR =
  sig
    type t
    type domain
    type elt
    type event
    val dom : t -> domain
    val on_refine : event
    val on_subst : event
    val on_min : event
    val on_max : event
    val fprint : out_channel -> t -> unit
    val min : t -> elt
    val max : t -> elt
    val member : t -> elt -> bool
    val id : t -> int
    val constraints_number : t -> int
    val size : t -> int
  end
module Attr :
  sig
    type t = Fcl_var.Attr.t
    type domain = Fcl_domain.t
    type elt = Fcl_domain.elt
    type event = Fcl_var.Attr.event
    val dom : t -> domain
    val on_refine : event
    val on_subst : event
    val on_min : event
    val on_max : event
    val fprint : out_channel -> t -> unit
    val min : t -> elt
    val max : t -> elt
    val member : t -> elt -> bool
    val id : t -> int
    val constraints_number : t -> int
    val size : t -> int
  end
module SetAttr :
  sig
    type t = Fcl_var.SetAttr.t
    type domain = Fcl_setDomain.t
    type elt = Fcl_setDomain.S.t
    type event = Fcl_var.SetAttr.event
    val dom : t -> domain
    val on_refine : event
    val on_subst : event
    val on_min : event
    val on_max : event
    val fprint : out_channel -> t -> unit
    val min : t -> elt
    val max : t -> elt
    val member : t -> elt -> bool
    val id : t -> int
    val constraints_number : t -> int
    val size : t -> int
  end
type ('a, 'b) concrete = ('a, 'b) Fcl_var.concrete = Unk of 'a | Val of 'b
module type BASICFD =
  sig
    type t
    type attr
    type domain
    type elt
    type event
    val create : ?name:string -> domain -> t
    val interval : ?name:string -> elt -> elt -> t
    val array : ?name:string -> int -> elt -> elt -> t array
    val elt : elt -> t
    val is_var : t -> bool
    val is_bound : t -> bool
    val value : t -> (attr, elt) concrete
    val min : t -> elt
    val max : t -> elt
    val min_max : t -> elt * elt
    val elt_value : t -> elt
    val int_value : t -> elt
    val size : t -> int
    val member : t -> elt -> bool
    val id : t -> int
    val name : t -> string
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val fprint : out_channel -> t -> unit
    val fprint_array : out_channel -> t array -> unit
    val unify : t -> elt -> unit
    val refine : t -> domain -> unit
    val refine_low : t -> elt -> unit
    val refine_up : t -> elt -> unit
    val refine_low_up : t -> elt -> elt -> unit
    val on_refine : event
    val on_subst : event
    val on_min : event
    val on_max : event
    val delay : event list -> t -> ?waking_id:int -> Fcl_cstr.t -> unit
    val int : elt -> t
    val subst : t -> elt -> unit
    val unify_cstr : t -> elt -> Fcl_cstr.t
  end
module type FD =
  sig
    type t
    type attr
    type domain
    type elt
    type event
    val create : ?name:string -> domain -> t
    val interval : ?name:string -> elt -> elt -> t
    val array : ?name:string -> int -> elt -> elt -> t array
    val elt : elt -> t
    val is_var : t -> bool
    val is_bound : t -> bool
    val value : t -> (attr, elt) concrete
    val min : t -> elt
    val max : t -> elt
    val min_max : t -> elt * elt
    val elt_value : t -> elt
    val int_value : t -> elt
    val size : t -> int
    val member : t -> elt -> bool
    val id : t -> int
    val name : t -> string
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val fprint : out_channel -> t -> unit
    val fprint_array : out_channel -> t array -> unit
    val unify : t -> elt -> unit
    val refine : t -> domain -> unit
    val refine_low : t -> elt -> unit
    val refine_up : t -> elt -> unit
    val refine_low_up : t -> elt -> elt -> unit
    val on_refine : event
    val on_subst : event
    val on_min : event
    val on_max : event
    val delay : event list -> t -> ?waking_id:int -> Fcl_cstr.t -> unit
    val int : elt -> t
    val subst : t -> elt -> unit
    val unify_cstr : t -> elt -> Fcl_cstr.t
    val remove : t -> elt -> unit
    val values : t -> elt list
    val iter : (elt -> unit) -> t -> unit
  end
module Fd :
  sig
    type t = Fcl_var.Fd.t
    type attr = Attr.t
    type domain = Fcl_domain.t
    type elt = Fcl_domain.elt
    type event = Attr.event
    val create : ?name:string -> domain -> t
    val interval : ?name:string -> elt -> elt -> t
    val array : ?name:string -> int -> elt -> elt -> t array
    val elt : elt -> t
    val is_var : t -> bool
    val is_bound : t -> bool
    val value : t -> (attr, elt) concrete
    val min : t -> elt
    val max : t -> elt
    val min_max : t -> elt * elt
    val elt_value : t -> elt
    val int_value : t -> elt
    val size : t -> int
    val member : t -> elt -> bool
    val id : t -> int
    val name : t -> string
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val fprint : out_channel -> t -> unit
    val fprint_array : out_channel -> t array -> unit
    val unify : t -> elt -> unit
    val refine : t -> domain -> unit
    val refine_low : t -> elt -> unit
    val refine_up : t -> elt -> unit
    val refine_low_up : t -> elt -> elt -> unit
    val on_refine : event
    val on_subst : event
    val on_min : event
    val on_max : event
    val delay : event list -> t -> ?waking_id:int -> Fcl_cstr.t -> unit
    val int : elt -> t
    val subst : t -> elt -> unit
    val unify_cstr : t -> elt -> Fcl_cstr.t
    val remove : t -> elt -> unit
    val values : t -> elt list
    val iter : (elt -> unit) -> t -> unit
  end
module SetFd :
  sig
    type t = Fcl_var.SetFd.t
    type attr = SetAttr.t
    type domain = Fcl_setDomain.t
    type elt = Fcl_setDomain.S.t
    type event = SetAttr.event
    val create : ?name:string -> domain -> t
    val interval : ?name:string -> elt -> elt -> t
    val array : ?name:string -> int -> elt -> elt -> t array
    val elt : elt -> t
    val is_var : t -> bool
    val is_bound : t -> bool
    val value : t -> (attr, elt) concrete
    val min : t -> elt
    val max : t -> elt
    val min_max : t -> elt * elt
    val elt_value : t -> elt
    val int_value : t -> elt
    val size : t -> int
    val member : t -> elt -> bool
    val id : t -> int
    val name : t -> string
    val compare : t -> t -> int
    val equal : t -> t -> bool
    val fprint : out_channel -> t -> unit
    val fprint_array : out_channel -> t array -> unit
    val unify : t -> elt -> unit
    val refine : t -> domain -> unit
    val refine_low : t -> elt -> unit
    val refine_up : t -> elt -> unit
    val refine_low_up : t -> elt -> elt -> unit
    val on_refine : event
    val on_subst : event
    val on_min : event
    val on_max : event
    val delay : event list -> t -> ?waking_id:int -> Fcl_cstr.t -> unit
    val int : elt -> t
    val subst : t -> elt -> unit
    val unify_cstr : t -> elt -> Fcl_cstr.t
  end
type concrete_fd = (Fd.attr, Fd.elt) concrete
val delay : Attr.event list -> Fd.t -> ?waking_id:int -> Fcl_cstr.t -> unit