def all_digits

cswap-bend-cli@0.1.0.0 · clock.bend:76

import cswap-bend-cli@0.1.0.0/clock.bend as Clock

import Base

76def all_digits(s: String) -> Bool:
77  match s:
78    case SNil{}:
79      True{}
80    case SCon{c, t}:
81      Char.is_digit(c) && all_digits(t)

Uses (4)

Used by (6)