def xor
import bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend as Permutationimport Base
import bend-collections@1.0.0.0/src/crypto/keccak/types.bend as T
4# 64-bit lanes are specified by two 32-bit halves, low half first.
5def xor(a: T.Lane, b: T.Lane) -> T.Lane:
6 match a b:
7 case T.W{al,ah} T.W{bl,bh}: T.W{U32.xor(al,bl),U32.xor(ah,bh)}