def get2.of
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
86# Words i and i + 1 as one little-endian 64-bit lane.
87def get2.of(+lo: U32, r: Array<U32> & U32) -> Array<U32> & W64:
88 (a, +hi) = r
89 (a, W64{hi, lo})
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
86# Words i and i + 1 as one little-endian 64-bit lane.
87def get2.of(+lo: U32, r: Array<U32> & U32) -> Array<U32> & W64:
88 (a, +hi) = r
89 (a, W64{hi, lo})