You can search for identifiers within the package.
in-package search v0.2.0
val term : int -> Format.formatter -> Data.term -> unit
val show_term : Data.term -> string