Skip to main content

shift_in_vars

Function shift_in_vars 

Source
fn shift_in_vars(vars: &mut [(Var, Sort)])