def tls.recv.words
import bend-kit-wire@0.4.8.0/wire.bend as Wireimport Base
142# len 0 once the peer sends close_notify.
143def tls.recv.words(sock: Socket, max: U32, ms: U32) ->
144 IO(Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>):
145 import "./effs/wire.c"
146 import "./effs/wire.js"