module GlArray: sig
.. end
val iter_h : ('a array -> int) -> ('a -> Facile.Goals.t) -> 'a array -> Facile.Goals.t
val iter_hi : ('a array -> int) ->
(int -> 'a -> Facile.Goals.t) -> 'a array -> Facile.Goals.t
val iter : ('a -> Facile.Goals.t) -> 'a array -> Facile.Goals.t
val iteri : (int -> 'a -> Facile.Goals.t) -> 'a array -> Facile.Goals.t
val iter2 : ('a -> 'b -> 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