def labels.len

bend-kit-dns@0.7.0.0 · dns.bend:31

import Base

31# QNAME's length without its final zero octet.
32def labels.len(xs: List<&2, String>, +n: U32) -> U32:
33  match xs:
34    case Nil{}:
35      n
36    case Con{+l, t}:
37      labels.len(t, (n + 1 + U32.from_nat(String.length(l)) : U32))