Net.Tls.send: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/net.bend as Net
Lines 41-44 of bend-kube-runtime@0.2.0.0/src/net.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/net.bend&start_line=41&end_line=44

import Base

# Sends text as UTF-8; ms bounds the whole send (0: no deadline).
def Tls.send(sock: Socket, text: String, ms: U32) -> IO(Socket & Res(Unit)):
  import "./effs/tls.c"
  import "./effs/tls.js"

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/net.bend&name=Res