Module chalk_ir::fold::shift

source ·
Expand description

Shifting of debruijn indices

Traits§

  • Shift
    Methods for converting debruijn indices to move values into or out of binders.