1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(** @canonical Java_base.Java_fact *)
module Java_fact = Java_base__Java_fact
(** @canonical Java_base.Java_label *)
module Java_label = Java_base__Java_label
(** @canonical Java_base.Java_lib_base *)
module Java_lib_base = Java_base__Java_lib_base
(** @canonical Java_base.Java_tree *)
module Java_tree = Java_base__Java_tree
(** @canonical Java_base.Java_unparsing *)
module Java_unparsing = Java_base__Java_unparsing