def cr.vm.w64be

bend-osdev-crypto@0.1.0.0 · vmac.bend:96

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

96# the big-endian and the little-endian 64-bit word at byte i
97def cr.vm.w64be(+xs: List<&2, U32>, +i: Nat) -> W.W64:
98  W.W64.from_parts(cr.vm.u32be(xs, i), cr.vm.u32be(xs, Nat.add(i, 4n)))