Module scope 

Functions

intersect_scopes

Computes the intersection of two scopes (intersection narrowing rule §9.6).

is_scope_subset

Checks if child scope is a subset of parent scope (no-amplification rule §9.6).

validate_scope

Validates that a delegation scope is well-formed.