You can search for identifiers within the package.
in-package search v0.2.0
module Key : Colibri2_popop_lib.Popop_stdlib.Datatype
val delay : Events.delay
val run : Egraph.wt -> Key.t -> state
val name : string