Module translate_predicates

Enums

PredicateLocation 🔒

The context in which we are translating a clause, used to generate the appropriate ids and trait references.