def mr

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

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

508def mr(vs: List<&2, G.Gf8Bits>, +b: G.Gf8Bits, +p: G.Gf8Bits) -> List<&2, G.Gf8Bits>:
509  match vs:
510    case Nil{}:
511      Nil{}
512    case Con{+v, +vr}:
513      Con{G.Gf8Bits.mul(b, v, p), mr(vr, b, p)}