PolyExistentialPredicate

flux_rustc_bridge::ty

Type Alias PolyExistentialPredicate 

Source 
pub type PolyExistentialPredicate = Binder<ExistentialPredicate>;

Aliased Type§

pub struct PolyExistentialPredicate(ExistentialPredicate, Interned<[BoundVariableKind]>);

Tuple Fields§

§0: ExistentialPredicate§1: Interned<[BoundVariableKind]>