File tree Expand file tree Collapse file tree 1 file changed +23
-0
lines changed Expand file tree Collapse file tree 1 file changed +23
-0
lines changed Original file line number Diff line number Diff line change
1
+ (* * This module re-exports and renames a subset of `Types`.
2
+ `Types` contains both the modules from the frontend and from the Rust engine.
3
+ Thus, some types are deduplicated, and get renamed.
4
+ *)
5
+
6
+ module Renamed = struct
7
+ type arm = Types .arm2
8
+ type attribute = Types .attribute2
9
+ type attribute_kind = Types .attribute_kind2
10
+ type binding_mode = Types .binding_mode2
11
+ type borrow_kind = Types .borrow_kind2
12
+ type def_id = Types .def_id2
13
+ type expr_kind = Types .expr_kind2
14
+ type impl_expr = Types .impl_expr2
15
+ type param = Types .param2
16
+ type pat_kind = Types .pat_kind2
17
+ type projection_predicate = Types .projection_predicate2
18
+ type region = Types .region2
19
+ type span = Types .span2
20
+ end
21
+
22
+ include Types
23
+ include Renamed
You can’t perform that action at this time.
0 commit comments