Stream.request: def of bend-kit-stream@0.3.1.0
Import: import bend-kit-stream@0.3.1.0/stream.bend as Stream
Lines 25-31 of bend-kit-stream@0.3.1.0/stream.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-stream@0.3.1.0/stream.bend&start_line=25&end_line=31

import Base

# The one-byte probe is only requested after the entire cap was forwarded.
def request(+chunk: U32, +remaining: U32) -> U32:
  match remaining:
    case 0:
      1
    case _:
      U32.min(chunk, remaining)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.min
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil