def frame.valid

mylsm-lsm-store@0.6.0.1 · src/ResourceOptions.bend:192

import mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend as ResourceOptions
import Base

192def frame.valid(+frame_bytes: U32, +receive_bytes: U32,
193  +response_bytes: U32) -> Bool:
194  bounded(frame_bytes, 1073741824) &&
195    U32.is_le(frame_bytes, receive_bytes) &&
196    U32.is_le(frame_bytes, response_bytes) &&
197    bounded(receive_bytes, 1073741824) &&
198    bounded(response_bytes, 1073741824)

Uses (5)

Used by (1)