~/jendhub

def step

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

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

995# what the interpreter does next on a World
996def step(+world: DW.World) -> Step:
997  step.of(ledger.seen(DW.read(world)), DW.cc(world), DW.lib(world), DW.lock(world),
998    DW.replies(world), trees.of(DW.ledger(world), DW.lock(world), DW.lock(world), DW.replies(world)),
999    checked(world))

Uses (12)

Used by (1)