Module chalk_ir::fold::shift

source ·
Expand description

Shifting of debruijn indices


  • A shifter that reduces debruijn indices – in other words, which lifts a value out from binders. Consider this example:
  • Shifter 🔒
    A folder that adjusts debruijn indices by a certain amount.


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