def table.trimmed

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

import Base

283def table.trimmed(r: List<&2, Field> & U32, +capacity: U32, +allowed: U32, pending: Maybe<&2, U32>, minimum: Maybe<&2, U32>) -> State:
284  (entries, size) = r
285  State{entries, size, capacity, allowed, pending, minimum}