def abs.ipv6.chars
import bend-kit-url@0.4.1.0/url.bend as Urlimport Base
355def abs.ipv6.chars(s: String) -> Bool:
356 match s:
357 case SNil{}:
358 True{}
359 case SCon{Chr{+c}, t}:
360 Bool.and(abs.ipv6.ch(c), abs.ipv6.chars(t))