def send.words.deadline
import bend-kit-wire@0.4.8.0/wire.bend as Wireimport Base
121# Total write budget, including packing; ms must be 1..2147483647.
122# Returns socket, bytes accepted locally, and outcome on every path. Consumes
123# words on every path. Timeout/disconnect may leave a sent prefix: close the
124# returned socket, do not replay the whole buffer. Success is not peer receipt.
125def send.words.deadline(sock: Socket, len: U32, words: Array<U32>, ms: U32) ->
126 IO(Socket & (U32 & Result<&1, &1, U32 & String, Unit>)):
127 import "./effs/wire.c"
128 import "./effs/wire.js"