Websocket.header: def of bend-kit-websocket@0.4.0.0
Import: import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
Lines 452-459 of bend-kit-websocket@0.4.0.0/websocket.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-websocket@0.4.0.0/websocket.bend&start_line=452&end_line=459

import Base

# The header at the front of p, from octets below 256. It reads at most 14 octets, and is
# HNeed until all of them are in p. It is checked as soon as it is whole, before its payload.
def header(p: List<&2, U32>, +masked: Bool) -> Header:
  match p:
    case Con{+b0, Con{+b1, t}}:
      header.b1(U32.is_le(128, b1), t, masked, b0, b1)
    case _:
      HNeed{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=bend-kit-websocket@0.4.0.0/websocket.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=bend-kit-websocket@0.4.0.0/websocket.bend&name=header.b1