def xl

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

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

515def xl(vs: List<&2, G.Gf8Bits>, +p: G.Gf8Bits) -> List<&2, G.Gf8Bits>:
516  match vs:
517    case Nil{}:
518      Nil{}
519    case Con{+v, +vr}:
520      Con{G.Gf8Bits.x(v, p), xl(vr, p)}