def insert

yaml-for-bend@0.1.1.0 · scan.bend:596

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

596# A token at the end, or (+number+) before the token with that number.
597def insert(out: List<&2, T.Token>, n: Nat, number: Maybe<&2, Nat>, t: T.Token) -> List<&2, T.Token>:
598  match number:
599    case None{}:
600      t <> out
601    case Some{k}:
602      insert.at(Nat.sub(n, k), out, t)