~/jendhub

def dead.get

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

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

93def dead.get(~A: Data, ds: Graves(A), +i: Nat) -> Maybe<&2, Dead<A>>:
94  M.HMap.get(~Nat, ~Dead<A>, ~dead.hash, ~Nat.is_eq, ds, i)

Uses (7)

Used by (1)