def x64.tail

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

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

574def x64.tail(+len: U32, +h: W64, r: Array<U32> & W64) -> Bytes.Bytes & W64:
575  (a, m) = r
576  (Bytes.Bytes{len, a}, x64.aval(x64.bytes(U32.is_ne((len .&. 4 : U32), 0), U32.to_nat((len .&. 3 : U32)), h, m)))

Uses (11)

Used by (1)

bend-kit-hash@0.3.0.2/hash:x64.rest