def socket.write
import bend-kit-stream@0.3.1.0/stream.bend as Streamimport Base
79def socket.write(destination: Socket, len: U32, words: Array<U32>, tls: Bool) ->
80 IO(Socket & Result<&1, &1, U32 & String, Unit>):
81 socket.write.tls(tls, destination, len, words)