def Gf8Bits.of

bend-osdev-gf@0.1.1.0 · gf.bend:50

import Base

50# the low 8 bits of a
51def Gf8Bits.of(a: U32) -> Gf8Bits:
52  match a:
53    case U32{WCon{b0, WCon{b1, WCon{b2, WCon{b3, WCon{b4, WCon{b5, WCon{b6, WCon{b7, r}}}}}}}}}:
54      Gf8Bits{b0, b1, b2, b3, b4, b5, b6, b7}