def oct.of

bend-osdev-bytes@0.1.1.0 · bytes.bend:34

import Base

34# the low 8 bits of a word (the high 24 are never looked at)
35def oct.of(x: U32) -> OctByte:
36  match x:
37    case U32{WCon{c0, WCon{c1, WCon{c2, WCon{c3, WCon{c4, WCon{c5, WCon{c6, WCon{c7, hi}}}}}}}}}:
38      OctByte{c0, c1, c2, c3, c4, c5, c6, c7}