Module predicates

Structs§

Clause: Reflects [ty::Clause] and adds a hash-consed predicate identifier.
CoercePredicate: Reflects [ty::CoercePredicate]
ExistentialProjection: Reflects [ty::ExistentialProjection]
ExistentialTraitRef: Reflects [ty::ExistentialTraitRef]
GenericPredicate
GenericPredicates: Reflects [ty::GenericPredicates]
OutlivesPredicate: Reflects [ty::OutlivesPredicate] as a named struct instead of a tuple struct. This is because the script converting JSONSchema types to OCaml doesn’t support tuple structs, and this is the only tuple struct in the whole AST.
Predicate: Reflects [ty::Predicate] and adds a hash-consed predicate identifier.
ProjectionPredicate: Expresses a constraints over an associated type.
SubtypePredicate: Reflects [ty::SubtypePredicate]
TraitPredicate: Reflects [ty::TraitClause]