sig
  val foralli :
    ?select:('a array -> int) ->
    (int -> '-> Fcl_goals.t) -> 'a array -> Fcl_goals.t
  val forall :
    ?select:('a array -> int) ->
    ('-> Fcl_goals.t) -> 'a array -> Fcl_goals.t
  val existsi :
    ?select:('a array -> int) ->
    (int -> '-> Fcl_goals.t) -> 'a array -> Fcl_goals.t
  val exists :
    ?select:('a array -> int) ->
    ('-> Fcl_goals.t) -> 'a array -> Fcl_goals.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 -> Fcl_goals.t
end