You can search for identifiers within the package.
in-package search v0.2.0
module AssertBounds = AssertBounds
module Basic = Basic
module Core = Core
module CoreSig = CoreSig
module ExtSigs = ExtSigs
module Polys = Polys
module Rat2 = Rat2
module Result = Result
module SolveBounds = SolveBounds
module Version = Version