You can search for identifiers within the package.
in-package search v0.2.0
subtype-refinement
Subtype_refinement.Singleton
module Value : IValue
type super = Value.t
type t = private super
exception FailedDownCast of super
val upcast : t -> super
val downcast : super -> t