You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Domains.Assert_false_domain
module Dummy_Enum_Lattice : sig ... end
module Boolean : sig ... end
module Integer : sig ... end
module Binary : sig ... end
module Enum : sig ... end
module Domain : Sig.BASE