Module column_index_mapping

Structs

ColIndexMapping

ColIndexMapping is a partial mapping from usize to usize.

Traits

ColIndexMappingRewriteExt

Extension trait for ColIndexMapping to rewrite frontend structures.