charon_
driver
0.1.83
Module translate_
traits
Module Items
Enums
In charon_
driver::
translate
charon_driver
::
translate
Module
translate_traits
Copy item path
Source
Enums
ยง
Predicate
Location
๐
The context in which we are translating a clause, used to generate the appropriate ids and trait references.