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

import Base

# The ":"-split segments. Only a leading "::" may start with an empty segment.
def v6(ps: List<&2, String>) -> Maybe<&2, Addr>:
  match ps:
    case Con{SNil{}, Con{SNil{}, Con{h, t}}}:
      v6.fin(v6.go(t, h, Some{Gap{Nil{}, Nil{}}}))
    case Con{SNil{}, t}:
      None{}
    case Con{h, t}:
      v6.fin(v6.go(t, h, Some{NoGap{Nil{}}}))
    case Nil{}:
      None{}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=Addr
  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=v6.fin
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=v6.go