def plan

ezx@1.11.0.0 · src/lock/plan.bend:943

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

943# `ez lock` over a World
944def plan(world: W.World) -> Plan:
945  W.World{args, +ledger, listing, replies, ups} = world
946  plan.of(W.next(args, ledger, ups), listing, replies)