def ipv6.ch
import bend-kit-dns@0.7.0.0/dns.bend as Dnsimport Base
407def ipv6.ch(+c: U32) -> Bool:
408 Bool.or(
409 Bool.and(U32.is_le(48, c), U32.is_le(c, 57)),
410 Bool.or(
411 Bool.and(U32.is_le(97, c), U32.is_le(c, 102)),
412 Bool.and(U32.is_le(65, c), U32.is_le(c, 70))))