You can search for identifiers within the package.
in-package search v0.2.0
val mod_nat : Nat.nat -> Nat.nat -> unit
val modexp_rtl : Num.num -> Num.num -> Num.num -> Num.num
val is_happy : Num.num -> bool