module type Arg = Typed_tcp_intf.Arg
module type Binable_t = Typed_tcp_intf.Binable_t
module type S = Typed_tcp_intf.S
module Make : 
functor (Arg : Arg) -> S with module Server_message = Arg.Server_message and module Client_message = Arg.Client_message
module Simple : 
functor (Client_message : Binable_t) ->
functor (Server_message : Binable_t) -> S with type Client_message.t = Client_message.t with type Server_message.t = Server_message.t