def step_is_zero

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

import Base

99# after a comma, still inside the slot argument?
100def step_is_zero(pp: Nat) -> Bool:
101  match pp:
102    case 0n:
103      True{}
104    case 1n+k:
105      False{}