def rd.u64

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

import Base

673def rd.u64() -> Dec(Nat):
674  do Dec<Nat>:
675    lo : U32 <- rd.u32()
676    hi : U32 <- rd.u32()
677    return rd.u64.of(lo, hi)