You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Terms.Build
module Boolean : sig ... end
module Integer : sig ... end
module Binary : sig ... end
module Enum : sig ... end
module Mu_Formal : sig ... end
module Tuple : sig ... end