Expand description
Shifting of debruijn indices
Structs
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.
Traits
Methods for converting debruijn indices to move values into or out
of binders.