def TCP.send
import Base370# A failed or timed-out send returns the exact unsent bytes: the kernel
371# may stop inside UTF-8. Resume with TCP.send_bytes. Sent means taken by
372# the kernel, not yet read by the peer.
373def TCP.send(sock: Socket, data: String) ->
374 IO(Socket & Result<&1, &1, (U32 & String) & List<&2, U32>, Unit>):
375 import "./effs/tcp_send.c"
376 import "./effs/tcp_send.js"