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