def x64.aval
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
557def x64.aval(h: W64) -> W64:
558 match h:
559 case W64{+hi, lo}:
560 x64.aval.b(W64.mul(W64{hi, (lo .^. (hi >> 1n) : U32)}, x64.P2()))
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
557def x64.aval(h: W64) -> W64:
558 match h:
559 case W64{+hi, lo}:
560 x64.aval.b(W64.mul(W64{hi, (lo .^. (hi >> 1n) : U32)}, x64.P2()))