Netip.dec.step: def of bend-kit-netip@0.1.0.0
Import: import bend-kit-netip@0.1.0.0/netip.bend as Netip
Lines 40-46 of bend-kit-netip@0.1.0.0/netip.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-netip@0.1.0.0/netip.bend&start_line=40&end_line=46

import Base

# A non-digit wraps past 9 in (c - 48), so it fails the digit test.
def dec.step(+d: U32, acc: Maybe<&2, U32>) -> Maybe<&2, U32>:
  match acc:
    case None{}:
      None{}
    case Some{v}:
      Bool.pick(Maybe<&2, U32>, U32.is_lt(d, 10), Some{(v * 10 + d : U32)}, None{})

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul