def wf.dec.lead

emerging-eztoml@0.9.0.0 · main.bend:6146

import Base

6146# a lone 0, or a first digit that is not 0 and more digits
6147def wf.dec.lead(zero: Bool, +cc: Char, rest: String) -> Bool:
6148  match zero:
6149    case True{}:
6150      String.is_empty(rest)
6151    case False{}:
6152      Bool.and(Char.is_digit(cc), wf.digits(rest))