Exec.Exec.input: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/exec.bend as Exec
Lines 315-318 of bend-kube-runtime@0.2.0.0/src/exec.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/exec.bend&start_line=315&end_line=318

import Base
import bend-kube-runtime@0.2.0.0/src/utf8.bend as U
import bend-kube-runtime@0.2.0.0/src/ws.bend as W

# The input, then the close of stdin, in one write.
def Exec.input(+text: String, +k: U32) -> List<&2, U32>:
  List.append(&2, U32, W.Ws.frame(W.Ws.binary(), Con{0, U.Utf8.encode(text)}, k),
    W.Ws.frame(W.Ws.binary(), [255, 0], U32.xor(k, 1515870810)))

Uses (8):
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/utf8.bend&name=Utf8.encode
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&name=Ws.binary
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/ws.bend&name=Ws.frame