Stream.file.file: def of bend-kit-stream@0.3.1.0
Import: import bend-kit-stream@0.3.1.0/stream.bend as Stream
Lines 158-162 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=158&end_line=162

import Base

# Return both handles on every outcome; never close or retry a failed chunk.
def file.file(source: File, destination: File, +chunk: U32, cap: U32) ->
  IO(File & File & Outcome):
  transfer.start(~File, ~File, ~file.read, ~file.write,
    chunk.valid(chunk), source, destination, False{}, chunk, cap, 0)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  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=bend-kit-stream@0.3.1.0/stream.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=chunk.valid
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=file.read
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=file.write
  https://jend.leeeet.dev/definition.txt?path=bend-kit-stream@0.3.1.0/stream.bend&name=transfer.start