def Gf8Bits.xor
import bend-osdev-gf@0.1.1.0/gf.bend as Gfimport Base
64def Gf8Bits.xor(a: Gf8Bits, b: Gf8Bits) -> Gf8Bits:
65 match a b:
66 case Gf8Bits{a0, a1, a2, a3, a4, a5, a6, a7} Gf8Bits{c0, c1, c2, c3, c4, c5, c6, c7}:
67 Gf8Bits{Bool.xor(a0, c0), Bool.xor(a1, c1), Bool.xor(a2, c2), Bool.xor(a3, c3), Bool.xor(a4, c4), Bool.xor(a5, c5), Bool.xor(a6, c6), Bool.xor(a7, c7)}