def wants

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

import ezx@1.11.0.0/src/doctor/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW

1001# the questions a World still leaves open
1002def wants(+world: DW.World) -> List<&2, DW.Ask>:
1003  +ledger = ledger.seen(DW.read(world))
1004  open(List.append(&2, DW.Ask, asks.of(ledger, DW.cc(world), DW.lib(world), DW.lock(world)),
1005    trees.of(DW.ledger(world), DW.lock(world), DW.lock(world), DW.replies(world))), DW.replies(world))

Uses (14)

Used by (0)

No other definition uses this definition.