charon_lib::ast::types

Type Alias RegionOutlives

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

Aliased Type§

struct RegionOutlives(pub Region, pub Region);

Fields§

§0: Region§1: Region