def fetch.over

bend-kit-http@0.38.2.0 · http.bend:2564

import Base

2564# 64 KiB of head past the body cap, as serve allows.
2565def fetch.over(+n: U32) -> Bool:
2566  Nat.is_lt(Nat.add(fetch.max(), 65536n), U32.to_nat(n))