def table.add
bend-kit-http2@0.4.0.0 · hpack.bend:287
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack
import Base
287def table.add(room: Bool, +field: Field, xs: List<&2, Field>, +used: U32, +capacity: U32, +allowed: U32, pending: Maybe<&2, U32>, minimum: Maybe<&2, U32>) -> State:
288 match room:
289 case True{}:
290 State{Con{field, xs}, (used + field.size(field) : U32), capacity, allowed, pending, minimum}
291 case False{}:
292 table.trimmed(table.trim(Con{field, xs}, capacity), capacity, allowed, pending, minimum)