charon_
driver
0.1.83
Module translate_
types
Module Items
Functions
In charon_
driver::
translate
charon_driver
::
translate
Module
translate_types
Copy item path
Source
Functions
ยง
check_
region_
name
๐
Small helper: we ignore some region names (when they are equal to โโ_โ)
translate_
bound_
region_
kind_
name
translate_
region_
name