BoundExistentialPredicate

Type Alias BoundExistentialPredicate 

Source
pub type BoundExistentialPredicate<'db> = Binder<'db, ExistentialPredicate<'db>>;

Aliased Typeยง

pub struct BoundExistentialPredicate<'db> { /* private fields */ }