~/jendhub

def nonzero

emerging-ezjson@1.3.0.0 · src/fixed.bend:179

import emerging-ezjson@1.3.0.0/src/fixed.bend as Fixed
import Base

179# whether any digit is not 0
180def nonzero(txt: String) -> Bool:
181  match txt:
182    case SNil{}:
183      False{}
184    case SCon{hd, +tl}:
185      nonzero.at(Char.is_eq(hd, '0'), _u => nonzero(tl))

Uses (5)

Used by (1)