You can search for identifiers within the package.
in-package search v0.2.0
val big_primes : int -> Z.t list
val primes : int -> int list
val is_prime : int -> bool
val prime_factors : int -> int list