def sel_xor

bend-osdev-gf@0.1.1.0 · PROOF.bend:356

import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G

356def sel_xor(+t: Bool, +u: G.Gf8Bits, +v: G.Gf8Bits) -> {G.Gf8Bits.sel(t, G.Gf8Bits.xor(u, v)) == G.Gf8Bits.xor(G.Gf8Bits.sel(t, u), G.Gf8Bits.sel(t, v)) : G.Gf8Bits}:
357  match t:
358    case True{}:
359      {==}
360    case False{}:
361      {==}