def next.hub

ezx@1.11.0.0 · src/add/plan.bend:803

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/add/hub.bend as H
import ezx@1.11.0.0/src/lock/world.bend as W

803# the hub planner's step: its questions, or its plan once there are none
804def next.hub(asks: List<&2, W.Ask>, +world: A.World) -> Next:
805  match asks:
806    case []:
807      Planned{H.plan(world)}
808    case h <> t:
809      AskHub{h <> t}