def limits.validate

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

import bend-kit-http@0.38.2.0/http.bend as Http

import Base

5538def limits.validate(+max: Nat) -> IO(Unit):
5539  limits.validate.ok(Nat.is_gt(max, 0n) && Nat.is_le(max, U32.to_nat(limits.representable())))

Uses (9)

Used by (3)