def Graves
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
import bend-kit-collections@0.1.4.1/hmap.bend as M
63# The dead tickets, by ticket id.
64def Graves(-A: Data) -> Data:
65 M.HMap<Nat, Dead<A>>
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
import bend-kit-collections@0.1.4.1/hmap.bend as M
63# The dead tickets, by ticket id.
64def Graves(-A: Data) -> Data:
65 M.HMap<Nat, Dead<A>>