def cr.vm.words

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

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

110# n big-endian (be True) or little-endian 64-bit words of xs from byte i
111def cr.vm.words(n: Nat, +be: Bool, +xs: List<&2, U32>, +i: Nat) -> List<&2, W.W64>:
112  match n:
113    case 0n:
114      Nil{}
115    case 1n+p:
116      Con{cr.vm.word(be, xs, i), cr.vm.words(p, be, xs, Nat.add(i, 8n))}