def tries.drop

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

import bend-kit-runner@0.13.0.1/runner.bend as Runner

import Base
import bend-kit-collections@0.1.4.1/omap.bend as O

154def tries.drop(ts: Tries(), +i: Nat) -> Tries():
155  O.OMap.del(~Nat, ~Try, ~Nat.cmp, ts, i)

Uses (5)

Used by (1)

bend-kit-runner@0.13.0.1/runner:step