def file.reads.given

snap@1.4.0.0 · src/file.bend:56

import Base

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