You can search for identifiers within the package.
in-package search v0.2.0
type db
type prio
val equal_prio : prio -> prio -> bool
type t
val reprio : db -> t -> prio
val le : t -> prio -> t -> prio -> bool