You can search for identifiers within the package.
in-package search v0.2.0
val log2 : int -> int
val is_power_of_two : int -> bool