def Gf8Bits.step
import bend-osdev-gf@0.1.1.0/gf.bend as Gfimport Base
84# one step of Horner's rule: x * acc + t * b
85def Gf8Bits.step(t: Bool, acc: Gf8Bits, +b: Gf8Bits, +p: Gf8Bits) -> Gf8Bits:
86 Gf8Bits.xor(Gf8Bits.x(acc, p), Gf8Bits.sel(t, b))