File.reads.given: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/io/file.bend as File
Lines 57-63 of ezx@1.11.0.0/src/io/file.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/io/file.bend&start_line=57&end_line=63

import Base

# a size of 0 is no size to go by; any other is read to
def reads.given(none: Bool, bytes: U32) -> Nat:
  match none:
    case True{}:
      unsized()
    case False{}:
      U32.to_nat(U32.add(U32.div(bytes, 65536), 2))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=unsized