~/jendhub

def wf.dec

emerging-eztoml@0.9.0.0 · main.bend:6154

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

6154# decimal digits with no leading zero, except 0 itself
6155def wf.dec(ss: String) -> Bool:
6156  match ss:
6157    case SNil{}:
6158      False{}
6159    case SCon{+h, t}:
6160      wf.dec.lead(Char.is_eq(h, '0'), h, t)

Uses (5)

Used by (1)