You can search for identifiers within the package.
in-package search v0.2.0
val get_info : Bddd.t -> Bdd.t -> Bdd.t -> (Expr.t * Bdd.t) -> Expr.t