Run.run.doctored: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/run.bend as Run
Lines 132-135 of ezx@1.11.0.0/src/doctor/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/run.bend&start_line=132&end_line=135

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/doctor/plan.bend as DP
import ezx@1.11.0.0/src/ws/doctor.bend as WsDoc

# the loop, on the ledger the doctor judges
def run.doctored(dd: WsDoc.Doctored, +cc: String, +lib: String, lk: Maybe<&2, String>) -> IO(Unit):
  WsDoc.Doctored{led, back} = dd
  loop(rounds(), DP.lib.at(lib), back, DW.World{cc, lib, led, lk, []})

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=lib.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/run.bend&name=loop
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/run.bend&name=rounds
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=Doctored