def fresh.heard

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

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW

699# the check, once the sources were heard. They are asked for only when the
700# ledger reads, so a ledger that does not is not checked against.
701def fresh.heard(got: DW.Heard, +world: DW.World, +text: String) -> List<&2, Note>:
702  match got:
703    case DW.Heard{a}:
704      match a:
705        case DW.Listed{l}:
706          fresh.listing(world, l, text)
707        case _:
708          []
709    case DW.Open{}:
710      []