Pi (eio.Eio.Net.Pi)

module type STREAM_SOCKET = sig ... end

val stream_socket : 
  (module STREAM_SOCKET with type t = 't and type tag = 'tag) ->
  ('t, 'tag stream_socket_ty) Resource.handler

module type DATAGRAM_SOCKET = sig ... end

val datagram_socket : 
  (module DATAGRAM_SOCKET with type t = 't and type tag = 'tag) ->
  ('t, 'tag datagram_socket_ty) Resource.handler

module type LISTENING_SOCKET = sig ... end

val listening_socket : 
  (module LISTENING_SOCKET with type t = 't and type tag = 'tag) ->
  ('t, 'tag listening_socket_ty) Resource.handler

module type NETWORK = sig ... end

val network : 
  (module NETWORK with type t = 't and type tag = 'tag) ->
  ('t, 'tag ty) Resource.handler