(module Netsys_crypto_types.TLS_CONFIG) -> Rpc_server.socket_config