You can search for identifiers within the package.
in-package search v0.2.0
monadlib
Make.Tag
type t
val print : t -> unit
val cmp : t -> t -> bool