Ojs_base.RpcSourceRemote calls
module Base
(P : Types.App_msg) :
B
with type app_server_msg = P.app_server_msg
and type app_client_msg = P.app_client_msgmodule Make_server
(P : B) :
S
with type app_server_msg = P.app_server_msg
and type app_client_msg = P.app_client_msgmodule Make_client
(P : B) :
S
with type app_server_msg = P.app_client_msg
and type app_client_msg = P.app_server_msg