flux_middle::rty

Type Alias PolyExistentialPredicate

Source 
pub type PolyExistentialPredicate = Binder<ExistentialPredicate>;

Aliased Type§

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

Fields§

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