def table.oversize
bend-kit-http2@0.4.0.0 · hpack.bend:294
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
import Base
294def table.oversize(too_big: Bool, +field: Field, xs: List<&2, Field>, +used: U32, +capacity: U32, +allowed: U32, pending: Maybe<&2, U32>, minimum: Maybe<&2, U32>) -> State:
295 match too_big:
296 case True{}:
297 State{Nil{}, 0, capacity, allowed, pending, minimum}
298 case False{}:
299 table.add(U32.is_le(used, (capacity - field.size(field) : U32)), field, xs, used, capacity, allowed, pending, minimum)