def AdBlk.xor

bend-osdev-aead@0.1.0.0 · aesround.bend:22

import Base

22def AdBlk.xor(a: AdBlk, b: AdBlk) -> AdBlk:
23  match a b:
24    case AdBlk{a0, a1, a2, a3} AdBlk{b0, b1, b2, b3}:
25      AdBlk{U32.xor(a0, b0), U32.xor(a1, b1), U32.xor(a2, b2), U32.xor(a3, b3)}