def tls.send.words
import bend-kit-wire@0.4.8.0/wire.bend as Wireimport Base
148def tls.send.words(sock: Socket, len: U32, words: Array<U32>) ->
149 IO(Socket & Result<&1, &1, U32 & String, Unit>):
150 import "./effs/wire.c"
151 import "./effs/wire.js"