sig val register_server : string -> Netplex_types.polyserver_box -> unit val connect_client : 'a Netplex_types.kind_check -> int -> string -> 'a Netsys_polysocket.polyclient end