def TCP.try_recv_bytes

import Base

415def TCP.try_recv_bytes(sock: Socket, max: U32, ms: U32) ->
416  IO(Socket & Poll<&1, &1, Result<&1, &1, U32 & String, Maybe<&1, List<&2, U32>>>,
417    Unit>):
418  import "./effs/tcp_recv.c"
419  import "./effs/tcp_recv.js"

Uses (10)

U32
List
String
Maybe
Pair
…

Used by (0)

No other definition uses this definition.