sig
  val iter_h :
    ('a array -> int) -> ('-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val iter_hi :
    ('a array -> int) ->
    (int -> '-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val iter : ('-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val iteri : (int -> '-> Facile.Goals.t) -> 'a array -> Facile.Goals.t
  val iter2 :
    ('-> '-> Facile.Goals.t) -> 'a array -> 'b array -> Facile.Goals.t
  val labeling : Facile.Var.Fd.t array -> Facile.Goals.t
  val choose_index :
    (Facile.Var.Attr.t -> Facile.Var.Attr.t -> bool) ->
    Facile.Var.Fd.t array -> int
  val not_instantiated_fd : Facile.Var.Fd.t array -> int
end