Netip.v6.dot: def of bend-kit-netip@0.1.0.0
Import: import bend-kit-netip@0.1.0.0/netip.bend as Netip
Lines 155-161 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=155&end_line=161

import Base

# Embedded dotted IPv4 fills the last two groups.
def v6.dot(w: Walk, m: Maybe<&2, U32>) -> Maybe<&2, Walk>:
  match m:
    case None{}:
      None{}
    case Some{+x}:
      Some{walk.push(walk.push(w, (x / 65536 : U32)), (x % 65536 : U32))}

Uses (6):
  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.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=Walk
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=walk.push