def dead.list.entries

bend-kit-runner@0.13.0.1 · runner.bend:106

import Base
import bend-kit-collections@0.1.4.1/hmap.bend as M

106def dead.list.entries(-A: Data, es: List<&2, M.Entry<Nat, Dead<A>>>, acc: List<&2, Dead<A>>) -> List<&2, Dead<A>>:
107  match es:
108    case Nil{}:
109      acc
110    case Con{M.Entry{k, d}, rest}:
111      dead.list.entries(A, rest, Con{d, acc})