You can search for identifiers within the package.
in-package search v0.2.0
type id = string
module S : sig ... end
val set_to_list : S.t -> S.elt list
type node = {
id : id;
mutable near : S.t;
mutable far : (id * S.t) list;
reflex : bool;
}
type graph = node list
val make_node : id -> id list -> node
val get_node : node list -> id -> node
val trans_closure : node list -> S.t -> node -> S.t
val node_trans_closure : node list -> node -> unit
val compute_trans_closure : node list -> unit
val prune_node : node list -> node -> unit
val kernel : node list -> node list