You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Memory_domains.Assert_false
module Block : sig ... end
module Memory : sig ... end
module Domain : sig ... end