def next.start

bend-kit-websocket@0.4.0.0 · websocket.bend:500

import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket

import Base

500def next.start(~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, +masked: Bool, +max: U32, r: S & List<&2, U32>) -> Decode<P, S>:
501  (b, p) = r
502  next.head(~P, ~S, ~fits, ~cut, ~unmask, max, header(p, masked), b)

Uses (8)

Used by (1)

bend-kit-websocket@0.4.0.0/websocket:next