Type Alias BoundExistentialPredicate

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

Aliased Type

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