Parse.toks.with: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/parse.bend as Parse
Lines 339-342 of yaml-for-bend@0.1.1.0/parse.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/parse.bend&start_line=339&end_line=342

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

def toks.with(ps: Ps, ts: List<&2, T.Token>) -> Ps:
  match ps:
    case Ps{toks, state, states, tags, out}:
      Ps{ts, state, states, tags, out}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/parse.bend&name=Ps
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/token.bend&name=Token