1
2
3
4
5
6
7
8
9
10
11
12
13
(** @canonical Session.Session_core *)
module Session_core = Session__Session_core
(** @canonical Session.Session_schedule *)
module Session_schedule = Session__Session_schedule
(** @canonical Session.Session_service *)
module Session_service = Session__Session_service
(** @canonical Session.Session_service_sig *)
module Session_service_sig = Session__Session_service_sig