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