sig
  val foralli :
    ?select:('a array -> int) ->
    (int -> '-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val forall :
    ?select:('a array -> int) ->
    ('-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val existsi :
    ?select:('a array -> int) ->
    (int -> '-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val exists :
    ?select:('a array -> int) ->
    ('-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val choose_index :
    (Facile.Var.Attr.t -> Facile.Var.Attr.t -> bool) ->
    Facile.Var.Fd.t array -> int
  val not_instantiated_fd : Facile.Var.Fd.t array -> int
  val labeling : Facile.Var.Fd.t array -> Facile.Goals.t
end