def ot

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

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

1773def ot(+r: G.Gf8Bits) -> {G.Gf8Bits.of(G.Gf8Bits.to(r)) == r : G.Gf8Bits}:
1774  match r:
1775    case G.Gf8Bits{b0, b1, b2, b3, b4, b5, b6, b7}:
1776      {==}