Module Facile.Goals.List

module List: sig .. end

val forall : ?select:('a list -> 'a * 'a list) ->
       ('a -> Facile.Goals.t) -> 'a list -> Facile.Goals.t

val exists : ?select:('a list -> 'a * 'a list) ->
       ('a -> Facile.Goals.t) -> 'a list -> Facile.Goals.t

val member : Facile.Var.Fd.t -> int list -> Facile.Goals.t

val labeling : Facile.Var.Fd.t list -> Facile.Goals.t