def labels.put
import bend-kit-dns@0.7.0.0/dns.bend as Dnsimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
51def labels.put(xs: List<&2, String>, c: Bytes.Cursor) -> Bytes.Cursor:
52 match xs:
53 case Nil{}:
54 written(Bytes.Cursor.put.u8(c, 0))
55 case Con{+l, t}:
56 labels.put(t, label.put(l, written(Bytes.Cursor.put.u8(c, U32.from_nat(String.length(l))))))