module Server : functor (Session : sig ... end) -> Server with type session = Session.t
module Client : functor (C : sig ... end) -> Client