Module predicate_kind

Source

Enumsยง

AliasRelationDirection
ClauseKind
A clause is something that can appear in where bounds or be inferred by implied bounds.
PredicateKind