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