def x64.fold

import bend-kit-hash@0.3.0.2/hash.bend as Hash

import Base

532def x64.fold(h: W64, v: W64) -> W64:
533  W64.add(W64.mul(W64.xor(h, x64.round(W64{0, 0}, v)), x64.P1()), x64.P4())

Uses (7)