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

import Base

def v6.show.mapped(mapped: Bool, +a: U32, +b: U32, +c: U32, +d: U32) -> String:
  match mapped:
    case True{}:
      "::ffff:" ++ v4.show(d)
    case False{}:
      v6.show.run(a, b, c, d, zeros.best(groups(a, b, c, d), 0, 0, 0, 0, 0))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=groups
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=v4.show
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=v6.show.run
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=zeros.best