~/jendhub

def decide.upload

ezx@1.11.0.0 · src/pub/plan.bend:1105

import ezx@1.11.0.0/src/pub/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/pub/world.bend as PW

1105# the upload, asked for once every check before it passed
1106def decide.upload(got: PW.Heard, +world: PW.World) -> Verdict:
1107  match got:
1108    case PW.Open{}:
1109      Pending{[upload(world)]}
1110    case PW.Heard{_a}:
1111      decide.agreed(agreed(world), world)

Uses (7)

Used by (1)