def take.ok

emerging-eztoml@0.9.0.0 · main.bend:488

import Base

488# the scan stays well only while every character is a digit
489def take.ok(ok: Bool, +cc: Char) -> Bool:
490  match ok:
491    case False{}:
492      False{}
493    case True{}:
494      Char.is_digit(cc)