def dead.drops

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

import Base

141def dead.drops(~A: Data, ks: List<&2, Nat>, ds: Graves(A)) -> Graves(A):
142  match ks:
143    case Nil{}:
144      ds
145    case Con{k, rest}:
146      dead.drops(~A, rest, dead.drop(~A, ds, k))