An actively maintained connection to some service that eagerly and repeatedly attempts to reconnect whenever the underlying connection is lost, until a new one can be established.
module type Closable : sig ... endmodule type S : sig ... endmodule type T : sig ... endmodule type Persistent_connection : sig ... end