def span.str

emerging-eztoml@0.9.0.0 · main.bend:2551

import Base

2551# the first n characters of a source span
2552def span.str(src: String, +nn: U32, zz: Bool) -> String:
2553  match src zz:
2554    case _s True{}:
2555      ""
2556    case SNil{} False{}:
2557      ""
2558    case SCon{+h, t} False{}:
2559      SCon{h, span.str(t, U32.sub(nn, 1), U32.is_zero(U32.sub(nn, 1)))}