~/jendhub

def size.scope

bend-kit-http2@0.4.0.0 · http2.bend:58

import bend-kit-http2@0.4.0.0/http2.bend as Http2
import Base

58# Field blocks, SETTINGS, and stream 0 make frame-size faults connection-wide.
59def size.scope(+kind: U32, +stream: U32) -> Bool:
60  match kind:
61    case 1:
62      True{}
63    case 4:
64      True{}
65    case 5:
66      True{}
67    case 9:
68      True{}
69    case _:
70      U32.is_eq(stream, 0)

Uses (5)

Used by (1)