def lib.have

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

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

245# the names `ls` gave for the library, none when it gave none
246def lib.have(got: DW.Heard) -> List<&2, String>:
247  match got:
248    case DW.Heard{a}:
249      match a:
250        case DW.Printed{ok, text}:
251          answered(ok, text)
252        case _:
253          []
254    case DW.Open{}:
255      []