def recv_from.words

qasim-bend-kit@0.1.0.2 · libs/wire/wire.bend:106

import qasim-bend-kit@0.1.0.2/libs/wire/wire.bend as Wire
import Base

106# UDP keeps the sender address and port beside the packed datagram.
107def recv_from.words(sock: Socket,
108                    max: U32,
109                    ms: U32) -> IO(Socket & Result<&1, &1, U32 & String, String & U32 & (U32 & Array<U32>)>):
110    import "./effs/wire.c"
111    import "./effs/wire.js"

Uses (7)

Used by (0)

No other definition uses this definition.