module GlList:sig
..end
val iter : ('a -> Facile.Goals.t) -> 'a list -> Facile.Goals.t
val labeling : Facile.Var.Fd.t list -> Facile.Goals.t
val member : Facile.Var.Fd.t -> int list -> Facile.Goals.t
val iter_h : ('a list -> 'a * 'a list) ->
('a -> Facile.Goals.t) -> 'a list -> Facile.Goals.t