You can search for identifiers within the package.
in-package search v0.2.0
type t
type 'acc fold_f = {
f : 'i 'a 'u. ('i, 'a, 'u) kind -> 'i -> 'acc -> 'acc;
}
val empty : t
val mem : ('i, 'a, 'u) kind -> 'i -> t -> bool
val add : ('i, 'a, 'u) kind -> 'i -> t -> t
val diff : t -> t -> t
val fold : ('i, 'a, 'u) kind -> ('i -> 'acc -> 'acc) -> t -> 'acc -> 'acc
val fold_all : 'acc fold_f -> t -> 'acc -> 'acc