def v6.dot

bend-kit-netip@0.1.0.0 · netip.bend:155

import Base

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