Module domains 

Domain declaration validation, inherited defaults, and constraint binding.

Modules

dependencies

Domain dependency analysis over declared types, stored syntax, and immutable catalog definitions.

removal

DROP DOMAIN name binding, namespace privileges, and owner diagnostics.

Traits

DomainCreationCatalog

Namespace and collision reads used before binding a domain declaration.

Functions

bind_domain_creation_target

prepare_domain_definition