def setting

bend-kit-http2@0.4.0.0 · http2.bend:87

import Base

87def setting(+id: U32, +value: U32) -> Maybe<&2, Error>:
88  match id:
89    case 2:
90      reject(U32.is_gt(value, 1), 1, True{}, 0)
91    case 4:
92      reject(U32.is_gt(value, 2147483647), 3, True{}, 0)
93    case 5:
94      reject(Bool.or(U32.is_lt(value, 16384), U32.is_gt(value, 16777215)), 1, True{}, 0)
95    case _:
96      None{}