Safe Haskell | Safe-Inferred |
---|
DDC.Core.Transform.LiftT
Documentation
Arguments
:: MapBoundT c n | |
=> Int | Number of levels to lift. |
-> Int | Current binding depth. |
-> c n | Lift expression indices in this thing. |
-> c n |
Lift debruijn indices less than or equal to the given depth.