~/jendhub

def UDP.recv_from

Base · base.bend:451

import Base
451# A datagram may be empty: UDP has no end, so no None{}.
452def UDP.recv_from(sock: Socket, max: U32) ->
453  IO(Socket & Result<&1, &1, U32 & String, String & U32 & String>):
454  import "./effs/udp_recv_from.c"
455  import "./effs/udp_recv_from.js"

Uses (6)

Used by (0)

No other definition uses this definition.