def run.doctored

ezx@1.11.0.0 · src/doctor/run.bend:132

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

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