def digits_of

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

import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops

import Base

76def digits_of(s: String) -> String:
77  match s:
78    case SNil{}:
79      ""
80    case SCon{+c, t}:
81      digits.pick(Char.is_digit(c), c, digits_of(t))

Uses (3)

Used by (1)

cswap-bend-cli@0.1.0.0/cliops:touched.pick