charon_lib::ast::types

Type Alias RegionOutlives

Source 
pub type RegionOutlives = OutlivesPred<Region, Region>;

Aliased Type§

pub struct RegionOutlives(pub Region, pub Region);

Tuple Fields§

§0: Region§1: Region