def dead.drop

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

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

96def dead.drop(~A: Data, ds: Graves(A), +i: Nat) -> Graves(A):
97  M.HMap.del(~Nat, ~Dead<A>, ~dead.hash, ~Nat.is_eq, ds, i)

Uses (6)

Used by (2)