~/jendhub

def ipv6.go

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

import bend-kit-dns@0.7.0.0/dns.bend as Dns
import Base

414def ipv6.go(s: String) -> Bool:
415  match s:
416    case SNil{}:
417      True{}
418    case SCon{Chr{+c}, t}:
419      Bool.and(Bool.or(U32.is_eq(c, 58), ipv6.ch(c)), ipv6.go(t))

Uses (7)

Used by (1)