def co.remote

ezx@1.11.0.0 · src/tool/plan.bend:464

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

464# a remote's cached checkout, once its three files are read
465def co.remote(open: List<&2, TW.Ask>, +url: String, +world: TW.World) -> Co:
466  match open:
467    case []:
468      co.fresh(fresh(world), url, world)
469    case h <> t:
470      CoWait{h <> t, []}