PolyExistentialPredicate

flux_middle::rty

Type Alias PolyExistentialPredicate 

Source 
pub type PolyExistentialPredicate = Binder<ExistentialPredicate>;

Aliased Type§

pub struct PolyExistentialPredicate {
    vars: Interned<[BoundVariableKind]>,
    value: ExistentialPredicate,
}

Fields§

§vars: Interned<[BoundVariableKind]>§value: ExistentialPredicate