def get.u64

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

553def get.u64(b: Bytes.Bytes, +at: U32) -> Bytes.Bytes & Nat:
554  get.lo(at, Bytes.get.u32le(b, at))