def all_digits

cswap-bend-cli@0.1.0.0 · settings.bend:52

import cswap-bend-cli@0.1.0.0/settings.bend as Settings

import Base

52def all_digits(s: String) -> Bool:
53  match s:
54    case SNil{}:
55      True{}
56    case SCon{c, t}:
57      Char.is_digit(c) && all_digits(t)

Uses (4)

Used by (3)