def Gf8.elt

import bend-osdev-gf@0.1.1.0/gf.bend as Gf

import Base

107# the element a: its low 8 bits
108def Gf8.elt(a: U32) -> U32:
109  Gf8Bits.to(Gf8Bits.of(a))

Uses (3)