You can search for identifiers within the package.
in-package search v0.2.0
type discrete
val to_int : discrete -> int
val succ : discrete -> discrete
val pred : discrete -> discrete
val (--) : discrete -> discrete -> discrete BatEnum.t
val (---) : discrete -> discrete -> discrete BatEnum.t