package facile

  1. Overview
  2. Docs

Module Goals.GlArraySource

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