Net.Tls.send_bytes: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/net.bend as Net
Lines 46-49 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=46&end_line=49

import Base

# Sends raw bytes (each 0..255); ms bounds the whole send (0: no deadline).
def Tls.send_bytes(sock: Socket, bytes: List<&2, U32>, 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=List
  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=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