def step_left_live

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:123

import Base

123# the arguments still to skip after a comma
124def step_left_live(left: Nat) -> Nat:
125  match left:
126    case 0n:
127      0n
128    case 1n+p:
129      p