Dns.labels.put: def of bend-kit-dns@0.7.0.0
Import: import bend-kit-dns@0.7.0.0/dns.bend as Dns
Lines 51-56 of bend-kit-dns@0.7.0.0/dns.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-dns@0.7.0.0/dns.bend&start_line=51&end_line=56

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

def labels.put(xs: List<&2, String>, c: Bytes.Cursor) -> Bytes.Cursor:
  match xs:
    case Nil{}:
      written(Bytes.Cursor.put.u8(c, 0))
    case Con{+l, t}:
      labels.put(t, label.put(l, written(Bytes.Cursor.put.u8(c, U32.from_nat(String.length(l))))))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Cursor
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Cursor.put.u8
  https://jend.leeeet.dev/definition.txt?path=bend-kit-dns@0.7.0.0/dns.bend&name=label.put
  https://jend.leeeet.dev/definition.txt?path=bend-kit-dns@0.7.0.0/dns.bend&name=written