Ws.WSt: type of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/ws.bend as Ws
Lines 14-27 of bend-kube-runtime@0.2.0.0/src/ws.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&start_line=14&end_line=27

import Base

# Where the decoder is.
#   WHead: before a frame's first byte
#   WLen: before the byte with the mask bit and the 7-bit length
#   WExt: need more bytes of a 16- or 64-bit length
#   WKey: need more bytes of the masking key
#   WPay: left bytes of payload to go, key rotated to the next byte
#   WBad: a frame the decoder refuses; it stays here
type WSt is Data:
  WHead{}
  WLen{fin: Bool, op: U32}
  WExt{fin: Bool, op: U32, masked: Bool, need: U32, len: U32}
  WKey{fin: Bool, op: U32, len: U32, need: U32, key: List<&2, U32>}
  WPay{fin: Bool, op: U32, left: U32, key: List<&2, U32>, acc: List<&2, U32>}
  WBad{why: String}

Uses (4):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32