def next.head
bend-kit-websocket@0.4.0.0 · websocket.bend:491
import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
import Base
491def next.head(~P: Type, ~S: Type, ~fits: S -> @+hs:U32 -> @+len:U32 -> S & Bool, ~cut: S -> @+hs:U32 -> @+len:U32 -> P & S, ~unmask: @+key:U32 -> P -> P, +max: U32, h: Header, b: S) -> Decode<P, S>:
492 match h:
493 case HNeed{}:
494 Need{b}
495 case HBad{code, why}:
496 Bad{code, why}
497 case HOk{+fin, +op, +m, +key, +hs, +len}:
498 next.size(~P, ~S, ~fits, ~cut, ~unmask, U32.is_lt(max, len), fin, op, m, key, hs, len, b)