You can search for identifiers within the package.
in-package search v0.2.0
type t
val mk : Context.t -> t
val get : Model.t -> t -> bool
val true_ : t