def all_digits

cswap-bend-cli@0.1.0.0 · daemon/sess.bend:184

import Base

184def all_digits(+cs: List<&2, Char>) -> Bool:
185  match cs:
186    case Nil{}:
187      True{}
188    case Con{c, t}:
189      Char.is_digit(c) && all_digits(t)