def printed.heard

ezx@1.11.0.0 · src/lock/up.bend:295

import ezx@1.11.0.0/src/lock/up.bend as Up
import Base

295# what git printed for `what`
296def printed.heard(got: Heard, ask: Ask, +what: String) -> Said:
297  match got:
298    case Open{}:
299      Unasked{ask}
300    case Heard{answer}:
301      printed.of(answer, what)

Uses (5)

Used by (1)