def ipv6.has
import bend-kit-dns@0.7.0.0/dns.bend as Dnsimport Base
421def ipv6.has(s: String) -> Bool:
422 match s:
423 case SNil{}:
424 False{}
425 case SCon{Chr{+c}, t}:
426 Bool.or(U32.is_eq(c, 58), ipv6.has(t))
import bend-kit-dns@0.7.0.0/dns.bend as Dnsimport Base
421def ipv6.has(s: String) -> Bool:
422 match s:
423 case SNil{}:
424 False{}
425 case SCon{Chr{+c}, t}:
426 Bool.or(U32.is_eq(c, 58), ipv6.has(t))