Module translate_predicates
charon_
driver
0.1.143
Module translate_
predicates
Module Items
Functions
In charon_
driver::
translate
charon_driver
::
translate
Module
translate_
predicates
Copy item path
Source
Functions
ยง
recognize_
builtin_
impl