package facile

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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