def get.u64be

bend-kit-bytes@0.3.3.0 · bytes.bend:262

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

262# A U64 at byte i, or None when its 8 bytes run past len.
263def get.u64be(b: Bytes, +i: U32) -> Bytes & Maybe<&2, Int.U64>:
264  u64(b, i, True{})

Uses (7)

Used by (1)