Skip to main content

shift_up

oxilean_kernel::eta::functions

Function shift_up 

Source 
pub fn shift_up(expr: &Expr, amount: u32) -> Expr
Expand description

Shift up bound variables (for adding a binder).