type t = Fcl_goals.t
val name : t -> string
val fprint : out_channel -> t -> unit
val fail : t
val success : t
val atomic : ?name:string -> (unit -> unit) -> t
val create : ?name:string -> ('a -> t) -> 'a -> t
val create_rec : ?name:string -> (t -> t) -> t
val ( &&~ ) : t -> t -> t
val ( ||~ ) : t -> t -> t
val forto : int -> int -> (int -> t) -> t
val fordownto : int -> int -> (int -> t) -> t
val once : t -> t
val sigma : ?domain:Fcl_domain.t -> (Fcl_var.Fd.t -> t) -> t
val unify : Fcl_var.Fd.t -> int -> t
val indomain : Fcl_var.Fd.t -> t
val instantiate : (Fcl_domain.t -> int) -> Fcl_var.Fd.t -> t
val dichotomic : Fcl_var.Fd.t -> t
module Conjunto : sig val indomain : Fcl_var.SetFd.t -> t end
module Array :
  sig
    val foralli :
      ?select:('a array -> int) -> (int -> 'a -> t) -> 'a array -> t
    val forall : ?select:('a array -> int) -> ('a -> t) -> 'a array -> t
    val existsi :
      ?select:('a array -> int) -> (int -> 'a -> t) -> 'a array -> t
    val exists : ?select:('a array -> int) -> ('a -> t) -> 'a array -> t
    val choose_index :
      (Fcl_var.Attr.t -> Fcl_var.Attr.t -> bool) -> Fcl_var.Fd.t array -> int
    val not_instantiated_fd : Fcl_var.Fd.t array -> int
    val labeling : Fcl_var.Fd.t array -> t
  end
module List :
  sig
    val forall :
      ?select:('a list -> 'a * 'a list) -> ('a -> t) -> 'a list -> t
    val exists :
      ?select:('a list -> 'a * 'a list) -> ('a -> t) -> 'a list -> t
    val member : Fcl_var.Fd.t -> int list -> t
    val labeling : Fcl_var.Fd.t list -> t
  end
type bb_mode = Fcl_goals.bb_mode = Restart | Continue
val minimize :
  ?step:int -> ?mode:bb_mode -> t -> Fcl_var.Fd.t -> (int -> unit) -> t
val lds : ?step:int -> t -> t
val solve : ?control:(int -> unit) -> t -> bool
val reset : unit -> unit