module type Connection = Connection with module Implementations := Implementations
Connection
with module Implementations := Implementations