def be64_at

bend-osdev-bytes@0.1.1.0 · bytes.bend:203

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

203def be64_at(+xs: List<&2, U32>, +i: Nat) -> Maybe<&2, W.W64>:
204  le64.join(be32_at(xs, Nat.add(i, 4n)), be32_at(xs, i))

Uses (8)

Used by (8)