Module subsume 

The subsumption judgment ⊑ (§3.17) — the runtime needs it for match arm selection over bound records and generic value-argument checks.

Functions

structurally_empty

subsumes