Expand description
Things related to predicates.
Structs§
- Bound
Existential Predicates - Clause
- Clauses
- Interned
Clauses Wrapper - Interned
Wrapper NoDebug - Param
Env - Param
EnvAnd - Predicate
Type Aliases§
- Alias
Term - Bound
Existential Predicate - Clause
Kind - Coerce
Predicate - Existential
Predicate - Existential
Projection - Existential
Trait Ref - Normalizes
To - Outlives
Predicate - Poly
Coerce Predicate - Poly
Existential Projection - Poly
Existential Trait Ref - Poly
Projection Predicate - Poly
Region Outlives Predicate - Poly
Subtype Predicate - Poly
Trait Predicate - Poly
Trait Ref - Poly
Type Outlives Predicate - Predicate
Kind - Projection
Predicate - Region
Outlives Predicate - Subtype
Predicate - Trait
Predicate - Trait
Ref - Type
Outlives Predicate