def span.rev

emerging-eztoml@0.9.0.0 · main.bend:2561

import Base

2561# the first n characters, reversed, so an escape can keep copying
2562def span.rev(src: String, +nn: U32, zz: Bool, acc: List<&2, Char>) -> List<&2, Char>:
2563  match src zz:
2564    case _s True{}:
2565      acc
2566    case SNil{} False{}:
2567      acc
2568    case SCon{h, t} False{}:
2569      span.rev(t, U32.sub(nn, 1), U32.is_zero(U32.sub(nn, 1)), h <> acc)