~/jendhub

def hex.all

ezx@1.11.0.0 · src/lock/lock.bend:145

import ezx@1.11.0.0/src/lock/lock.bend as Lock
import Base

145def hex.all(text: String) -> Bool:
146  match text:
147    case SNil{}:
148      True{}
149    case SCon{+h, t}:
150      +rest = hex.all(t)
151      Bool.and(hex.char(h), rest)

Uses (4)

Used by (1)