def x64.rest

bend-kit-hash@0.3.0.2 · hash.bend:578

import bend-kit-hash@0.3.0.2/hash.bend as Hash
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

578def x64.rest(+len: U32, r: Array<U32> & W64) -> Bytes.Bytes & W64:
579  (a, h) = r
580  x64.tail(len, h, get2(a, ((len >> 3n) << 1n : U32)))

Uses (10)

Used by (1)