Runner.rd.tries: def of bend-kit-runner@0.13.0.1
Import: import bend-kit-runner@0.13.0.1/runner.bend as Runner
Lines 750-766 of bend-kit-runner@0.13.0.1/runner.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-runner@0.13.0.1/runner.bend&start_line=750&end_line=766

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

def rd.tries(+fuel: Nat, node: Bool) -> Dec(O.OMap<Nat, Try>):
  match fuel node:
    case 0n b:
      Dec.fail(O.OMap<Nat, Try>)
    case 1n+f False{}:
      Dec.pure(O.OMap<Nat, Try>, O.OTip{})
    case 1n+f True{}:
      do Dec<O.OMap<Nat, Try>>:
        n : U32 <- rd.u32()
        k : Nat <- rd.u64()
        fails : Nat <- rd.u64()
        st : Nat <- rd.u64()
        lf : Bool <- rd.flag()
        lo : O.OMap<Nat, Try> <- rd.tries(f, lf)
        hf : Bool <- rd.flag()
        hi : O.OMap<Nat, Try> <- rd.tries(f, hf)
        return O.OBin{n, k, Try{fails, st}, lo, hi}

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/omap.bend&name=OMap
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec.bind
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec.fail
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dec.pure
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Try
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=rd.flag
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=rd.u32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=rd.u64