sig   val foralli :     ?select:('a array -> int) ->     (int -> '-> Facile.Goals.t) -> 'a array -> Facile.Goals.t   val forall :     ?select:('a array -> int) ->     ('-> Facile.Goals.t) -> 'a array -> Facile.Goals.t   val existsi :     ?select:('a array -> int) ->     (int -> '-> Facile.Goals.t) -> 'a array -> Facile.Goals.t   val exists :     ?select:('a array -> int) ->     ('-> Facile.Goals.t) -> 'a 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   val labeling : Facile.Var.Fd.t array -> Facile.Goals.t end