def x64.merge
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
535def x64.merge(r: Array<U32> & V64) -> Array<U32> & W64:
536 (buf, V64{+a, +b, +c, +d}) = r
537 +h = W64.add(W64.add(W64.rotl(1n, 31n, a), W64.rotl(7n, 25n, b)), W64.add(W64.rotl(12n, 20n, c), W64.rotl(18n, 14n, d)))
538 (buf, x64.fold(x64.fold(x64.fold(x64.fold(h, a), b), c), d))