def rx_zl

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

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

338def rx_zl(+a: G.Gf8Bits) -> {G.Gf8Bits.xor(G.Gf8Bits.zero(), a) == a : G.Gf8Bits}:
339  match a:
340    case G.Gf8Bits{a0, a1, a2, a3, a4, a5, a6, a7}:
341      {==}