You can search for identifiers within the package.
in-package search v0.2.0
libterm
Sexpr.Store
type t
val iter : (Z.t -> Expr.t -> unit) -> t -> unit
val fold : (Z.t -> Expr.t -> 'a -> 'a) -> 'a -> t -> 'a