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

import Base

def v6.field(n: U32, +i: U32, +start: U32, +length: U32) -> String:
  +end = (start + length : U32)
  v6.field.if(Bool.and(U32.is_ge(i, start), U32.is_lt(i, end)), n, i, start, end)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-netip@0.1.0.0/netip.bend&name=v6.field.if