def recv_from.words
import bend-kit-wire@0.4.8.0/wire.bend as Wireimport Base
130# UDP keeps the sender address and port beside the packed datagram.
131def recv_from.words(sock: Socket, max: U32, ms: U32) ->
132 IO(Socket & Result<&1, &1, U32 & String, String & U32 & (U32 & Array<U32>)>):
133 import "./effs/wire.c"
134 import "./effs/wire.js"