def rd.u64.of
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
670def rd.u64.of(+lo: U32, +hi: U32) -> Nat:
671 Nat.add(U32.to_nat(lo), Nat.mul(U32.to_nat(hi), W()))
import bend-kit-runner@0.13.0.1/runner.bend as Runnerimport Base
670def rd.u64.of(+lo: U32, +hi: U32) -> Nat:
671 Nat.add(U32.to_nat(lo), Nat.mul(U32.to_nat(hi), W()))