def recv_from

import bend-kit-wire@0.4.8.0/wire.bend as Wire

import Base

48def recv_from(sock: Socket, max: U32, ms: U32) ->
49  IO(Socket & Result<&1, &1, U32 & String, String & U32 & String>):
50  import "./effs/wire.c"
51  import "./effs/wire.js"

Uses (6)

U32
String
Pair
Result
IO
…

Used by (0)

No other definition uses this definition.