def wf.span

emerging-eztoml@0.9.0.0 · main.bend:6128

import Base

6128# a span's source holds its n characters, each a Unicode scalar value
6129def wf.span(src: String, +nn: U32, zz: Bool) -> Bool:
6130  match src zz:
6131    case _s True{}:
6132      True{}
6133    case SNil{} False{}:
6134      False{}
6135    case SCon{+h, t} False{}:
6136      wf.then(wf.char(h), _u => wf.span(t, U32.sub(nn, 1), U32.is_zero(U32.sub(nn, 1))))