package facile

  1. Overview
  2. Docs
val foralli : ?select:('a array -> int) -> (int -> 'a -> t) -> 'a array -> t
val forall : ?select:('a array -> int) -> ('a -> t) -> 'a array -> t
val existsi : ?select:('a array -> int) -> (int -> 'a -> t) -> 'a array -> t
val exists : ?select:('a array -> int) -> ('a -> t) -> 'a array -> t
val choose_index : (Var.Attr.t -> Var.Attr.t -> bool) -> Var.Fd.t array -> int
val not_instantiated_fd : Var.Fd.t array -> int
val labeling : Var.Fd.t array -> t
OCaml

Innovation. Community. Security.