def xor
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/lane.bend as Laneimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/types.bend as T
4def xor(a: T.Lane, b: T.Lane) -> T.Lane:
5 match a b:
6 case T.W{al,ah} T.W{bl,bh}: T.W{U32.xor(al,bl),U32.xor(ah,bh)}