Module translate_traits

Source

Enumsยง

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