def ss

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

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

489# the sum of t_i * v_i
490def ss(ts: List<&2, Bool>, vs: List<&2, G.Gf8Bits>) -> G.Gf8Bits:
491  match ts:
492    case Nil{}:
493      G.Gf8Bits.zero()
494    case Con{t, tr}:
495      match vs:
496        case Nil{}:
497          G.Gf8Bits.zero()
498        case Con{v, vr}:
499          G.Gf8Bits.xor(G.Gf8Bits.sel(t, v), ss(tr, vr))