Websocket.Header: type of bend-kit-websocket@0.4.0.0
Import: import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
Lines 380-385 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=380&end_line=385

import Base

# A frame header, read from a list of the first octets of the input.
# Ok: hs header octets, then len payload octets, masked with key when m.
type Header is Data:
  HNeed{}
  HBad{code: U32, why: String}
  HOk{fin: Bool, op: U32, m: Bool, key: U32, hs: U32, len: U32}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32