def TCP.try_recv
import Base391def TCP.try_recv(sock: Socket, max: U32, ms: U32) ->
392 IO(Socket & Poll<&1, &1, Result<&1, &1, U32 & String, Maybe<&1, String>>, Unit>):
393 import "./effs/tcp_recv.c"
394 import "./effs/tcp_recv.js"
import Base391def TCP.try_recv(sock: Socket, max: U32, ms: U32) ->
392 IO(Socket & Poll<&1, &1, Result<&1, &1, U32 & String, Maybe<&1, String>>, Unit>):
393 import "./effs/tcp_recv.c"
394 import "./effs/tcp_recv.js"