~/jendhub

def reads

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

import ezx@1.11.0.0/src/io/file.bend as File
import Base

65# the reads a file of this many bytes takes: one for every 64 KiB, one for
66# the part past the last whole 64 KiB, and one to spare for a short read
67def reads(+bytes: U32) -> Nat:
68  reads.given(U32.is_zero(bytes), bytes)

Uses (4)

Used by (1)