~/jendhub

def header.b1

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

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

444def header.b1(m: Bool, t: List<&2, U32>, +masked: Bool, +b0: U32, +b1: U32) -> Header:
445  match m:
446    case True{}:
447      +l7 = (b1 - 128 : U32)
448      header.ext(U32.is_lt(l7, 126), U32.is_eq(l7, 126), t, masked, b0, True{}, l7)
449    case False{}:
450      header.ext(U32.is_lt(b1, 126), U32.is_eq(b1, 126), t, masked, b0, False{}, b1)

Uses (8)

Used by (1)