You can search for identifiers within the package.
in-package search v0.2.0
type ('a, 'b) t
val empty : ('a, 'b) t
val apply : ('a, 'b) t -> 'a -> 'b
exception Failure
val print : ('a, 'b) t -> unit
type (!'a, !'b) matching = {
patt : patt;
has_when : bool;
expr : ('a, 'b) expr;
}
and patt =
| Eapp of patt list
| Eacc of patt list
| Econ of string
| Estr of string
| Eint of string
| Etup of patt list
| Erec of (patt * patt) list
| Evar of unit
and (!'a, !'b) expr = 'a -> 'b option
val extend : ('a, 'b) t -> (patt * bool * ('a, 'b) expr) list -> ('a, 'b) t