def table.insert

bend-kit-http2@0.4.0.0 · hpack.bend:300

import bend-kit-http2@0.4.0.0/hpack.bend as Hpack

import Base

300def table.insert(+field: Field, st: State) -> State:
301  State{xs, +used, +capacity, +allowed, pending, minimum} = st
302  +cost = field.size(field)
303  table.oversize(U32.is_gt(cost, capacity), field, xs, used, capacity, allowed, pending, minimum)

Uses (5)

Used by (2)