def all.hex
import yaml-for-bend@0.1.1.0/scan.bend as Scanimport Base
231def all.hex(s: String) -> Bool:
232 match s:
233 case SNil{}:
234 True{}
235 case SCon{+c, t}:
236 Bool.and(is_hex(c), all.hex(t))
import yaml-for-bend@0.1.1.0/scan.bend as Scanimport Base
231def all.hex(s: String) -> Bool:
232 match s:
233 case SNil{}:
234 True{}
235 case SCon{+c, t}:
236 Bool.and(is_hex(c), all.hex(t))