def Ws.len
import bend-kube-runtime@0.2.0.0/src/ws.bend as Wsimport Base
73# The header from the second byte on: the mask bit (always set, as a client
74# must) and the length, in 7, 16 or 64 bits.
75def Ws.len(+n: U32) -> List<&2, U32>:
76 Ws.len.go(n, U32.is_lt(n, 126), U32.is_lt(n, 65536))