def all_digits

lawful-fields@0.1.1.0 · defs.bend:188

import Base

188# xs is one or more digits (any value).
189def all_digits(xs: List<&2, U32>) -> Bool:
190  Maybe.is_some(&2, Nat, dec(xs))