def label.ascii

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

import Base

17def label.ascii(s: String) -> Bool:
18  match s:
19    case SNil{}:
20      True{}
21    case SCon{Chr{c}, t}:
22      Bool.and(U32.is_lt(c, 128), label.ascii(t))