Bits.win: def of bend-kit-bits@0.1.0.1
Import: import bend-kit-bits@0.1.0.1/bits.bend as Bits
Lines 29-36 of bend-kit-bits@0.1.0.1/bits.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bits@0.1.0.1/bits.bend&start_line=29&end_line=36

import Base

# The 32 stream bits from bit p, in stream order: first bit lowest LSB-first, highest MSB-first.
# Bits past the buffer's last word wrap to its first, so callers mask what lies past the end.
def win(msb: Bool, a: Array<U32>, +p: U32) -> Array<U32> & U32:
  match msb:
    case True{}:
      win.msb.at(p, Array.get(U32, a, (p >> 5n : U32)))
    case False{}:
      win.lsb.at(p, Array.get(U32, a, (p >> 5n : U32)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bits@0.1.0.1/bits.bend&name=win.lsb.at
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bits@0.1.0.1/bits.bend&name=win.msb.at