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