Class RegionBound

A meta-constraint that lifetime 'sup' outlives lifetime 'sub'.

Index

Constructors

Accessors

Constructors

constructor

new RegionBound(sup: Region, sub: Region): RegionBound
Parameters
- sup: Region
- sub: Region
Returns RegionBound
- Defined in coral/src/mir/symbol/region/RegionBound.ts:10

Accessors

sub

get sub(): Region
Returns Region
- Defined in coral/src/mir/symbol/region/RegionBound.ts:19

sup

get sup(): Region
Returns Region
- Defined in coral/src/mir/symbol/region/RegionBound.ts:15