~/jendhub

def file.reads

snap@1.4.0.0 · src/file.bend:64

import snap@1.4.0.0/src/file.bend as File
import Base

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

Uses (4)

Used by (1)