def Gf128.xor
import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128import Base
39def Gf128.xor(a: Gf128, b: Gf128) -> Gf128:
40 match a b:
41 case Gf128{a0, a1, a2, a3} Gf128{b0, b1, b2, b3}:
42 Gf128{U32.xor(a0, b0), U32.xor(a1, b1), U32.xor(a2, b2), U32.xor(a3, b3)}