~/jendhub

def digits_end

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

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

127# Drop a leading run of digits.
128def digits_end(s: String) -> String:
129  match s:
130    case SNil{}:
131      SNil{}
132    case SCon{+c, +t}:
133      digits_end.pick(Char.is_digit(c), c, t, digits_end(t))

Uses (3)

Used by (1)