You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Assert_false_domain.Boolean
module Boolean_Backward : sig ... end
module Boolean_Forward : sig ... end