Scan.then: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/scan.bend as Scan
Lines 116-122 of yaml-for-bend@0.1.1.0/scan.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/scan.bend&start_line=116&end_line=122

import Base

# The step after +v+, when it goes on.
def then(v: Step, f: Sc -> Step) -> Step:
  match v:
    case Go{st}:
      f(st)
    case Stop{st}:
      Stop{st}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/scan.bend&name=Sc
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/scan.bend&name=Step