Up
Module type
Arg
Signature
module
To_server_msg
:
Datum
module
To_client_msg
:
Datum
module
Server_name
:
Name
module
Client_name
:
Name
module
Mode
:
Mode