def Gf8Bits.top
import bend-osdev-gf@0.1.1.0/gf.bend as Gfimport Base
96# the bits of a, most significant first
97def Gf8Bits.top(a: Gf8Bits) -> List<&2, Bool>:
98 match a:
99 case Gf8Bits{b0, b1, b2, b3, b4, b5, b6, b7}:
100 [b7, b6, b5, b4, b3, b2, b1, b0]