Source file ocaml_typing.ml
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
(** @canonical Ocaml_typing.Allowance *)
module Allowance = Ocaml_typing__Allowance
(** @canonical Ocaml_typing.Annot *)
module Annot = Ocaml_typing__Annot
(** @canonical Ocaml_typing.Btype *)
module Btype = Ocaml_typing__Btype
(** @canonical Ocaml_typing.CamlinternalQuote *)
module CamlinternalQuote = Ocaml_typing__CamlinternalQuote
(** @canonical Ocaml_typing.Cmi_cache *)
module Cmi_cache = Ocaml_typing__Cmi_cache
(** @canonical Ocaml_typing.Cmi_format *)
module Cmi_format = Ocaml_typing__Cmi_format
(** @canonical Ocaml_typing.Cms_cache *)
module Cms_cache = Ocaml_typing__Cms_cache
(** @canonical Ocaml_typing.Cms_format *)
module Cms_format = Ocaml_typing__Cms_format
(** @canonical Ocaml_typing.Cmt_cache *)
module Cmt_cache = Ocaml_typing__Cmt_cache
(** @canonical Ocaml_typing.Cmt_format *)
module Cmt_format = Ocaml_typing__Cmt_format
(** @canonical Ocaml_typing.Compilation_unit *)
module Compilation_unit = Ocaml_typing__Compilation_unit
(** @canonical Ocaml_typing.Ctype *)
module Ctype = Ocaml_typing__Ctype
(** @canonical Ocaml_typing.Datarepr *)
module Datarepr = Ocaml_typing__Datarepr
(** @canonical Ocaml_typing.Env *)
module Env = Ocaml_typing__Env
(** @canonical Ocaml_typing.Envaux *)
module Envaux = Ocaml_typing__Envaux
(** @canonical Ocaml_typing.Errortrace *)
module Errortrace = Ocaml_typing__Errortrace
(** @canonical Ocaml_typing.Global_module *)
module Global_module = Ocaml_typing__Global_module
(** @canonical Ocaml_typing.Ident *)
module Ident = Ocaml_typing__Ident
(** @canonical Ocaml_typing.Import_info *)
module Import_info = Ocaml_typing__Import_info
(** @canonical Ocaml_typing.Includeclass *)
module Includeclass = Ocaml_typing__Includeclass
(** @canonical Ocaml_typing.Includecore *)
module Includecore = Ocaml_typing__Includecore
(** @canonical Ocaml_typing.Includemod *)
module Includemod = Ocaml_typing__Includemod
(** @canonical Ocaml_typing.Includemod_errorprinter *)
module Includemod_errorprinter = Ocaml_typing__Includemod_errorprinter
(** @canonical Ocaml_typing.Jkind *)
module Jkind = Ocaml_typing__Jkind
(** @canonical Ocaml_typing.Jkind_axis *)
module Jkind_axis = Ocaml_typing__Jkind_axis
(** @canonical Ocaml_typing.Jkind_intf *)
module Jkind_intf = Ocaml_typing__Jkind_intf
(** @canonical Ocaml_typing.Jkind_types *)
module Jkind_types = Ocaml_typing__Jkind_types
(** @canonical Ocaml_typing.Lambda *)
module Lambda = Ocaml_typing__Lambda
(** @canonical Ocaml_typing.Magic_numbers *)
module Magic_numbers = Ocaml_typing__Magic_numbers
(** @canonical Ocaml_typing.Mode *)
module Mode = Ocaml_typing__Mode
(** @canonical Ocaml_typing.Mode_hint *)
module Mode_hint = Ocaml_typing__Mode_hint
(** @canonical Ocaml_typing.Mode_intf *)
module Mode_intf = Ocaml_typing__Mode_intf
(** @canonical Ocaml_typing.Msupport *)
module Msupport = Ocaml_typing__Msupport
(** @canonical Ocaml_typing.Mtype *)
module Mtype = Ocaml_typing__Mtype
(** @canonical Ocaml_typing.Natural *)
module Natural = Ocaml_typing__Natural
(** @canonical Ocaml_typing.Oprint *)
module Oprint = Ocaml_typing__Oprint
(** @canonical Ocaml_typing.Outcometree *)
module Outcometree = Ocaml_typing__Outcometree
(** @canonical Ocaml_typing.Parmatch *)
module Parmatch = Ocaml_typing__Parmatch
(** @canonical Ocaml_typing.Path *)
module Path = Ocaml_typing__Path
(** @canonical Ocaml_typing.Patterns *)
module Patterns = Ocaml_typing__Patterns
(** @canonical Ocaml_typing.Persistent_env *)
module Persistent_env = Ocaml_typing__Persistent_env
(** @canonical Ocaml_typing.Predef *)
module Predef = Ocaml_typing__Predef
(** @canonical Ocaml_typing.Primitive *)
module Primitive = Ocaml_typing__Primitive
(** @canonical Ocaml_typing.Printpat *)
module Printpat = Ocaml_typing__Printpat
(** @canonical Ocaml_typing.Printtyp *)
module Printtyp = Ocaml_typing__Printtyp
(** @canonical Ocaml_typing.Printtyped *)
module Printtyped = Ocaml_typing__Printtyped
(** @canonical Ocaml_typing.Saved_parts *)
module Saved_parts = Ocaml_typing__Saved_parts
(** @canonical Ocaml_typing.Scalar *)
module Scalar = Ocaml_typing__Scalar
(** @canonical Ocaml_typing.Shape *)
module Shape = Ocaml_typing__Shape
(** @canonical Ocaml_typing.Shape_reduce *)
module Shape_reduce = Ocaml_typing__Shape_reduce
(** @canonical Ocaml_typing.Short_paths *)
module Short_paths = Ocaml_typing__Short_paths
(** @canonical Ocaml_typing.Short_paths_graph *)
module Short_paths_graph = Ocaml_typing__Short_paths_graph
(** @canonical Ocaml_typing.Signature_group *)
module Signature_group = Ocaml_typing__Signature_group
(** @canonical Ocaml_typing.Signature_with_global_bindings *)
module Signature_with_global_bindings = Ocaml_typing__Signature_with_global_bindings
(** @canonical Ocaml_typing.Solver *)
module Solver = Ocaml_typing__Solver
(** @canonical Ocaml_typing.Solver_intf *)
module Solver_intf = Ocaml_typing__Solver_intf
(** @canonical Ocaml_typing.Stypes *)
module Stypes = Ocaml_typing__Stypes
(** @canonical Ocaml_typing.Subst *)
module Subst = Ocaml_typing__Subst
(** @canonical Ocaml_typing.Tast_iterator *)
module Tast_iterator = Ocaml_typing__Tast_iterator
(** @canonical Ocaml_typing.Tast_mapper *)
module Tast_mapper = Ocaml_typing__Tast_mapper
(** @canonical Ocaml_typing.Type_shape *)
module Type_shape = Ocaml_typing__Type_shape
(** @canonical Ocaml_typing.Typeclass *)
module Typeclass = Ocaml_typing__Typeclass
(** @canonical Ocaml_typing.Typecore *)
module Typecore = Ocaml_typing__Typecore
(** @canonical Ocaml_typing.Typedecl *)
module Typedecl = Ocaml_typing__Typedecl
(** @canonical Ocaml_typing.Typedecl_properties *)
module Typedecl_properties = Ocaml_typing__Typedecl_properties
(** @canonical Ocaml_typing.Typedecl_separability *)
module Typedecl_separability = Ocaml_typing__Typedecl_separability
(** @canonical Ocaml_typing.Typedecl_variance *)
module Typedecl_variance = Ocaml_typing__Typedecl_variance
(** @canonical Ocaml_typing.Typedtree *)
module Typedtree = Ocaml_typing__Typedtree
(** @canonical Ocaml_typing.Typemod *)
module Typemod = Ocaml_typing__Typemod
(** @canonical Ocaml_typing.Typemode *)
module Typemode = Ocaml_typing__Typemode
(** @canonical Ocaml_typing.Typeopt *)
module Typeopt = Ocaml_typing__Typeopt
(** @canonical Ocaml_typing.Types *)
module Types = Ocaml_typing__Types
(** @canonical Ocaml_typing.Typetexp *)
module Typetexp = Ocaml_typing__Typetexp
(** @canonical Ocaml_typing.Uniqueness_analysis *)
module Uniqueness_analysis = Ocaml_typing__Uniqueness_analysis
(** @canonical Ocaml_typing.Unit_info *)
module Unit_info = Ocaml_typing__Unit_info
(** @canonical Ocaml_typing.Untypeast *)
module Untypeast = Ocaml_typing__Untypeast
(** @canonical Ocaml_typing.Value_rec_check *)
module Value_rec_check = Ocaml_typing__Value_rec_check
(** @canonical Ocaml_typing.Value_rec_types *)
module Value_rec_types = Ocaml_typing__Value_rec_types
(** @canonical Ocaml_typing.Vicuna_traverse_typed_tree *)
module Vicuna_traverse_typed_tree = Ocaml_typing__Vicuna_traverse_typed_tree
(** @canonical Ocaml_typing.Vicuna_value_shapes *)
module Vicuna_value_shapes = Ocaml_typing__Vicuna_value_shapes
(** @canonical Ocaml_typing.Zero_alloc *)
module Zero_alloc = Ocaml_typing__Zero_alloc