Ws.Ws.frame: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/ws.bend as Ws
Lines 86-91 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=86&end_line=91

import Base

# One final frame of op carrying data, masked with key.
def Ws.frame(+op: U32, +data: List<&2, U32>, +key: U32) -> List<&2, U32>:
  List.append(&2, U32,
    Con{U32.or(128, op), Ws.len(U32.from_nat(List.length(&2, U32, data)))},
    Con{Ws.byte(key, 3n), Con{Ws.byte(key, 2n), Con{Ws.byte(key, 1n), Con{Ws.byte(key, 0n),
      Ws.mask(data, Ws.byte(key, 3n), Ws.byte(key, 2n), Ws.byte(key, 1n), Ws.byte(key, 0n))}}}})

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&name=Ws.byte
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&name=Ws.len
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&name=Ws.mask