def digits

import ezx@1.11.0.0/src/git/git.bend as Git

import Base

499# a non-empty run of decimal digits
500def digits(+text: String) -> Bool:
501  digits.at(String.is_empty(text), text)

Uses (4)