Gf.Gf8Bits.horner: def of bend-osdev-gf@0.1.1.0
Import: import bend-osdev-gf@0.1.1.0/gf.bend as Gf
Lines 88-94 of bend-osdev-gf@0.1.1.0/gf.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&start_line=88&end_line=94

import Base

# Horner's rule over the bits ts, most significant first
def Gf8Bits.horner(ts: List<&2, Bool>, acc: Gf8Bits, +b: Gf8Bits, +p: Gf8Bits) -> Gf8Bits:
  match ts:
    case Nil{}:
      acc
    case Con{t, rest}:
      Gf8Bits.horner(rest, Gf8Bits.step(t, acc, b, p), b, p)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8Bits
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-gf@0.1.1.0/gf.bend&name=Gf8Bits.step