charon_driver::translate

Module translate_traits

Source

Enums§

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