Pi.NETWORKval listen :
t ->
reuse_addr:bool ->
reuse_port:bool ->
backlog:int ->
sw:Switch.t ->
Sockaddr.stream ->
tag listening_socket_ty Std.rval connect : t -> sw:Switch.t -> Sockaddr.stream -> tag stream_socket_ty Std.rval datagram_socket :
t ->
reuse_addr:bool ->
reuse_port:bool ->
sw:Switch.t ->
[ Sockaddr.datagram | `UdpV4 | `UdpV6 ] ->
tag datagram_socket_ty Std.rval getaddrinfo : t -> service:string -> string -> Sockaddr.t listval getnameinfo : t -> Sockaddr.t -> string * string