def v6.fill

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

import Base

210def v6.fill(w: Walk) -> Maybe<&2, Addr>:
211  match w:
212    case NoGap{pre}:
213      v6.words(List.reverse(&2, U32, pre))
214    case Gap{+pre, +post}:
215      +n = (List.length(&2, U32, pre) + List.length(&2, U32, post) : Nat)
216      v6.pad(Nat.is_le(n, 7n), pre, post, n)