def v6.pad

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

import Base

202# "::" stands for at least one zero group.
203def v6.pad(ok: Bool, pre: List<&2, U32>, post: List<&2, U32>, n: Nat) -> Maybe<&2, Addr>:
204  match ok:
205    case True{}:
206      v6.words(List.append(&2, U32, List.reverse(&2, U32, pre), List.append(&2, U32, List.replicate(U32, Nat.sub(8n, n), 0), List.reverse(&2, U32, post))))
207    case False{}:
208      None{}