You can search for identifiers within the package.
in-package search v0.2.0
type elt = Univ.universe_level
type set
type t
val create : unit -> t
val add : elt -> t -> unit
val find : elt -> t -> elt
val union : elt -> elt -> t -> unit
val union_set : set -> t -> unit
val partition : t -> set list