Module translate_generics

Structs

BindingLevel 🔒

A level of binding for type-level variables. Each item has a top-level binding level corresponding to the parameters and clauses to the items. We may then encounter inner binding levels in the following cases:

Functions

translate_region_name 🔒

Small helper: we ignore some region names (when they are equal to “’_”)