def field.size

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

import Base

263def field.size(f: Field) -> U32:
264  Field{+name, +value, mode} = f
265  (U32.from_nat(String.length(name)) + U32.from_nat(String.length(value)) + 32 : U32)