Module region

Structs

• BoundRegion
• EarlyParamRegion
• LateParamRegion
  The parameter representation of late-bound function parameters, “some region at least as big as the scope fr.scope”.
• Region
  Use this rather than RegionKind, whenever possible.
• RegionVid
  A region variable ID.

Enums

• BoundRegionKind
• LateParamRegionKind
  When liberating bound regions, we map their BoundRegionKind to this as we need to track the index of anonymous regions. We otherwise end up liberating multiple bound regions to the same late-bound region.

Type Aliases

• RegionKind