1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
(** @canonical User.User_authz *)
module User_authz = User__User_authz
(** @canonical User.User_core *)
module User_core = User__User_core
(** @canonical User.User_password_reset *)
module User_password_reset = User__User_password_reset
(** @canonical User.User_password_reset_service *)
module User_password_reset_service = User__User_password_reset_service
(** @canonical User.User_password_reset_service_sig *)
module User_password_reset_service_sig = User__User_password_reset_service_sig
(** @canonical User.User_seed *)
module User_seed = User__User_seed
(** @canonical User.User_service *)
module User_service = User__User_service
(** @canonical User.User_service_repo *)
module User_service_repo = User__User_service_repo
(** @canonical User.User_service_sig *)
module User_service_sig = User__User_service_sig