Module column_index_mapping

Source

Structs§

ColIndexMapping
ColIndexMapping is a partial mapping from usize to usize.

Traits§

ColIndexMappingRewriteExt
Extension trait for ColIndexMapping to rewrite frontend structures.