def Ws.rotate
import bend-kube-runtime@0.2.0.0/src/ws.bend as Wsimport Base
103def Ws.rotate(key: List<&2, U32>) -> List<&2, U32>:
104 match key:
105 case Nil{}:
106 Nil{}
107 case Con{k, t}:
108 List.append(&2, U32, t, [k])
import bend-kube-runtime@0.2.0.0/src/ws.bend as Wsimport Base
103def Ws.rotate(key: List<&2, U32>) -> List<&2, U32>:
104 match key:
105 case Nil{}:
106 Nil{}
107 case Con{k, t}:
108 List.append(&2, U32, t, [k])