charon_driver::translate

Module translate_types

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