Bytes.huff.read: def of gralha-bytes@0.1.0.1
Import: import gralha-bytes@0.1.0.1/bytes.bend as Bytes
Lines 193-198 of gralha-bytes@0.1.0.1/bytes.bend: https://jend.leeeet.dev/read.txt?path=gralha-bytes@0.1.0.1/bytes.bend&start_line=193&end_line=198

import Base

def huff.read(node: Huffman, +stream: BitStream) -> BitRead:
  match node:
    case HuffEmpty{}: BitRead{0, bits.invalid(stream)}
    case HuffBad{}: BitRead{0, bits.invalid(stream)}
    case HuffLeaf{symbol}: BitRead{symbol, stream}
    case HuffNode{zero, one}: huff.read.next(bits.read(stream, 1), zero, one, node => input => huff.read(node, input))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=gralha-bytes@0.1.0.1/bytes.bend&name=BitRead
  https://jend.leeeet.dev/definition.txt?path=gralha-bytes@0.1.0.1/bytes.bend&name=BitStream
  https://jend.leeeet.dev/definition.txt?path=gralha-bytes@0.1.0.1/bytes.bend&name=Huffman
  https://jend.leeeet.dev/definition.txt?path=gralha-bytes@0.1.0.1/bytes.bend&name=bits.invalid
  https://jend.leeeet.dev/definition.txt?path=gralha-bytes@0.1.0.1/bytes.bend&name=bits.read
  https://jend.leeeet.dev/definition.txt?path=gralha-bytes@0.1.0.1/bytes.bend&name=huff.read.next