def rd.tries

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

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

750def rd.tries(+fuel: Nat, node: Bool) -> Dec(O.OMap<Nat, Try>):
751  match fuel node:
752    case 0n b:
753      Dec.fail(O.OMap<Nat, Try>)
754    case 1n+f False{}:
755      Dec.pure(O.OMap<Nat, Try>, O.OTip{})
756    case 1n+f True{}:
757      do Dec<O.OMap<Nat, Try>>:
758        n : U32 <- rd.u32()
759        k : Nat <- rd.u64()
760        fails : Nat <- rd.u64()
761        st : Nat <- rd.u64()
762        lf : Bool <- rd.flag()
763        lo : O.OMap<Nat, Try> <- rd.tries(f, lf)
764        hf : Bool <- rd.flag()
765        hi : O.OMap<Nat, Try> <- rd.tries(f, hf)
766        return O.OBin{n, k, Try{fails, st}, lo, hi}