sig   val forall :     ?select:('a list -> 'a * 'a list) ->     ('-> Fcl_goals.t) -> 'a list -> Fcl_goals.t   val exists :     ?select:('a list -> 'a * 'a list) ->     ('-> Fcl_goals.t) -> 'a list -> Fcl_goals.t   val member : Fcl_var.Fd.t -> int list -> Fcl_goals.t   val labeling : Fcl_var.Fd.t list -> Fcl_goals.t end