~/jendhub

def agreed.of

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

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

615def agreed.of(got: PW.Heard, +ours: String) -> Bool:
616  match got:
617    case PW.Open{}:
618      False{}
619    case PW.Heard{a}:
620      agreed.answer(a, ours)

Uses (4)

Used by (1)