def all_digits

cswap-bend-cli@0.1.0.0 · store/base.bend:177

import Base

177def all_digits(+s: String) -> Bool:
178  match s:
179    case SNil{}:
180      True{}
181    case SCon{c, t}:
182      Char.is_digit(c) && all_digits(t)