def recv
import bend-kit-wire@0.4.8.0/wire.bend as Wireimport Base
31# Octet-String TCP and UDP effects are the slow path: one Char cell per byte.
32def recv(sock: Socket, max: U32, ms: U32) ->
33 IO(Socket & Result<&1, &1, U32 & String, String>):
34 import "./effs/wire.c"
35 import "./effs/wire.js"