def tries.bump
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
167def tries.bump(+ts: Tries(), +i: Nat) -> Tries():
168 tries.bump.got(tries.get(ts, i), ts, i)
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
167def tries.bump(+ts: Tries(), +i: Nat) -> Tries():
168 tries.bump.got(tries.get(ts, i), ts, i)