def labels.ok

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

import Base

24def labels.ok(xs: List<&2, String>) -> Bool:
25  match xs:
26    case Nil{}:
27      True{}
28    case Con{+l, t}:
29      Bool.and(Bool.and(label.ok(l), label.ascii(l)), labels.ok(t))