def unsized

ezx@1.11.0.0 · src/io/file.bend:51

import Base

51# the reads a file with no size to go by may take: a pipe, a device or a
52# /proc file reports 0 bytes and a file past 4 GiB fails to report, so these
53# are read until they end, up to 100000 reads of 64 KiB, past any file ez reads
54def unsized() -> Nat:
55  U32.to_nat(100000)