def bump

bend-lawful-stdlib@0.1.0.0 · src/sorted.bend:145

import Base

145def bump(b: Bool, n: Nat) -> Nat:
146  match b:
147    case True{}:
148      1n+n
149    case False{}:
150      n