def le16

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

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes
import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

113def le16(v: U32) -> List<&2, U32>:
114  match v:
115    case U32{w}:
116      +lo = W.W64.bits.lo(16n, 16n, w)
117      [of_bits8(W.W64.bits.lo(8n, 8n, lo)), of_bits8(W.W64.bits.hi(8n, 8n, lo))]

Uses (5)

Used by (4)