def step_hot_live

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

import Base

107# after a comma, is the next argument the slot?
108def step_hot_live(left: Nat) -> Bool:
109  match left:
110    case 0n:
111      False{}
112    case 1n+p:
113      step_is_zero(p)