type 'session t
=
|
Start_tls of (module Start_tls with type session = 'session)
Auth of (module Auth with type session = 'session)