def tries.bump

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

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

167def tries.bump(+ts: Tries(), +i: Nat) -> Tries():
168  tries.bump.got(tries.get(ts, i), ts, i)

Uses (4)

Used by (1)