def step.asks

ezx@1.11.0.0 · src/doctor/plan.bend:963

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/ledger/manifest.bend as M

963# the step, once the open questions are known
964def step.asks(
965  asks: List<&2, DW.Ask>,
966  +ledger: M.Read,
967  +cc: String,
968  +lib: String,
969  lock: Maybe<&2, String>,
970  +rs: List<&2, DW.Reply>,
971  cs: List<&2, Note>
972) -> Step:
973  match asks:
974    case []:
975      Run{plan.of(ledger, cc, lib, lock, rs, cs)}
976    case h <> t:
977      Asking{h <> t}