type GfPb

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

import Base

398# pairs of bits, for the product's linearity in its first factor
399type GfPb is Data:
400  GfPb{s: Bool, t: Bool}