~/jendhub

def x_sel

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

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

374def x_sel(+t: Bool, +u: G.Gf8Bits, +p: G.Gf8Bits) -> {G.Gf8Bits.x(G.Gf8Bits.sel(t, u), p) == G.Gf8Bits.sel(t, G.Gf8Bits.x(u, p)) : G.Gf8Bits}:
375  match t:
376    case True{}:
377      {==}
378    case False{}:
379      x_zero(p)

Uses (5)

Used by (1)