You can search for identifiers within the package.
in-package search v0.2.0
binsec.sse
Cse.Store
type t
val iter : (Z.t -> Expr.t -> unit) -> t -> unit
val rev_iter : (Z.t -> Expr.t -> unit) -> t -> unit