sig
  val iter : ('-> 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) ->
    ('-> Facile.Goals.t) -> 'a list -> Facile.Goals.t
end