module type Connection = Connection with module Server := Server
Connection
with module Server := Server