Source file format_lifter.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
type padty = CamlinternalFormatBasics.padty =
| Left
| Right
| Zeros
and int_conv = CamlinternalFormatBasics.int_conv =
| Int_d
| Int_pd
| Int_sd
| Int_i
| Int_pi
| Int_si
| Int_x
| Int_Cx
| Int_X
| Int_CX
| Int_o
| Int_Co
| Int_u
| Int_Cd
| Int_Ci
| Int_Cu
and float_flag_conv = CamlinternalFormatBasics.float_flag_conv =
| Float_flag_
| Float_flag_p
| Float_flag_s
and float_kind_conv = CamlinternalFormatBasics.float_kind_conv =
| Float_f
| Float_e
| Float_E
| Float_g
| Float_G
| Float_F
| Float_h
| Float_H
| Float_CF
and float_conv = (float_flag_conv * float_kind_conv)
and char_set = string
and counter = CamlinternalFormatBasics.counter =
| Line_counter
| Char_counter
| Token_counter
and ('a, 'b) padding = ('a, 'b) CamlinternalFormatBasics.padding =
| No_padding: ('a, 'a) padding
| Lit_padding: padty * int -> ('a, 'a) padding
| Arg_padding: padty -> (int -> 'a, 'a) padding
and pad_option = int option
and ('a, 'b) precision = ('a, 'b) CamlinternalFormatBasics.precision =
| No_precision: ('a, 'a) precision
| Lit_precision: int -> ('a, 'a) precision
| Arg_precision: (int -> 'a, 'a) precision
and prec_option = int option
and ('a, 'b, 'c) custom_arity =
('a, 'b, 'c) CamlinternalFormatBasics.custom_arity =
| Custom_zero: ('a, string, 'a) custom_arity
| Custom_succ: ('a, 'b, 'c) custom_arity -> ('a, 'x -> 'b, 'x -> 'c)
custom_arity
and block_type = CamlinternalFormatBasics.block_type =
| Pp_hbox
| Pp_vbox
| Pp_hvbox
| Pp_hovbox
| Pp_box
| Pp_fits
and formatting_lit = CamlinternalFormatBasics.formatting_lit =
| Close_box
| Close_tag
| Break of string * int * int
| FFlush
| Force_newline
| Flush_newline
| Magic_size of string * int
| Escaped_at
| Escaped_percent
| Scan_indic of char
and ('a, 'b, 'c, 'd, 'e, 'f) formatting_gen =
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.formatting_gen =
| Open_tag: ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e,
'f) formatting_gen
| Open_box: ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e,
'f) formatting_gen
and ('a, 'b, 'c, 'd, 'e, 'f) fmtty =
('a, 'b, 'c, 'd, 'e, 'f, 'a, 'b, 'c, 'd, 'e, 'f) fmtty_rel
and ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel =
('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)
CamlinternalFormatBasics.fmtty_rel
=
| Char_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (char -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, char -> 'a2,
'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| String_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (string -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, string -> 'a2,
'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Int_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)
fmtty_rel -> (int -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, int -> 'a2, 'b2,
'c2, 'd2, 'e2, 'f2) fmtty_rel
| Int32_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (int32 -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, int32 -> 'a2,
'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Nativeint_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2,
'e2, 'f2) fmtty_rel -> (nativeint -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1,
nativeint -> 'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Int64_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (int64 -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, int64 -> 'a2,
'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Float_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (float -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, float -> 'a2,
'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Bool_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (bool -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, bool -> 'a2,
'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Format_arg_ty: ('g, 'h, 'i, 'j, 'k, 'l) fmtty * ('a1, 'b1, 'c1, 'd1,
'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel ->
(('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1,
('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Format_subst_ty: ('g, 'h, 'i, 'j, 'k, 'l, 'g1, 'b1, 'c1, 'j1, 'd1,
'a1) fmtty_rel * ('g, 'h, 'i, 'j, 'k, 'l, 'g2, 'b2, 'c2, 'j2, 'd2,
'a2) fmtty_rel * ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2,
'e2, 'f2) fmtty_rel -> (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'g1, 'b1,
'c1, 'j1, 'e1, 'f1, ('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'g2, 'b2, 'c2,
'j2, 'e2, 'f2) fmtty_rel
| Alpha_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (('b1 -> 'x -> 'c1) -> 'x -> 'a1, 'b1, 'c1, 'd1,
'e1, 'f1, ('b2 -> 'x -> 'c2) -> 'x -> 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)
fmtty_rel
| Theta_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> (('b1 -> 'c1) -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1,
('b2 -> 'c2) -> 'a2, 'b2, 'c2, 'd2, 'e2, 'f2) fmtty_rel
| Any_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2)
fmtty_rel -> ('x -> 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'x -> 'a2, 'b2, 'c2,
'd2, 'e2, 'f2) fmtty_rel
| Reader_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2, 'd2, 'e2,
'f2) fmtty_rel -> ('x -> 'a1, 'b1, 'c1, ('b1 -> 'x) -> 'd1, 'e1, 'f1,
'x -> 'a2, 'b2, 'c2, ('b2 -> 'x) -> 'd2, 'e2, 'f2) fmtty_rel
| Ignored_reader_ty: ('a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'a2, 'b2, 'c2,
'd2, 'e2, 'f2) fmtty_rel -> ('a1, 'b1, 'c1, ('b1 -> 'x) -> 'd1, 'e1,
'f1, 'a2, 'b2, 'c2, ('b2 -> 'x) -> 'd2, 'e2, 'f2) fmtty_rel
| End_of_fmtty: ('f1, 'b1, 'c1, 'd1, 'd1, 'f1, 'f2, 'b2, 'c2, 'd2,
'd2, 'f2) fmtty_rel
and ('a, 'b, 'c, 'd, 'e, 'f) fmt =
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.fmt =
| Char: ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (char -> 'a, 'b, 'c, 'd, 'e,
'f) fmt
| Caml_char: ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (char -> 'a, 'b, 'c, 'd,
'e, 'f) fmt
| String: ('x, string -> 'a) padding * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (
'x, 'b, 'c, 'd, 'e, 'f) fmt
| Caml_string: ('x, string -> 'a) padding * ('a, 'b, 'c, 'd, 'e, 'f) fmt ->
('x, 'b, 'c, 'd, 'e, 'f) fmt
| Int: int_conv * ('x, 'y) padding * ('y, int -> 'a) precision * ('a,
'b, 'c, 'd, 'e, 'f) fmt -> ('x, 'b, 'c, 'd, 'e, 'f) fmt
| Int32: int_conv * ('x, 'y) padding * ('y, int32 -> 'a) precision * (
'a, 'b, 'c, 'd, 'e, 'f) fmt -> ('x, 'b, 'c, 'd, 'e, 'f) fmt
| Nativeint: int_conv * ('x, 'y) padding * ('y, nativeint -> 'a) precision
* ('a, 'b, 'c, 'd, 'e, 'f) fmt -> ('x, 'b, 'c, 'd, 'e, 'f) fmt
| Int64: int_conv * ('x, 'y) padding * ('y, int64 -> 'a) precision * (
'a, 'b, 'c, 'd, 'e, 'f) fmt -> ('x, 'b, 'c, 'd, 'e, 'f) fmt
| Float: float_conv * ('x, 'y) padding * ('y, float -> 'a) precision * (
'a, 'b, 'c, 'd, 'e, 'f) fmt -> ('x, 'b, 'c, 'd, 'e, 'f) fmt
| Bool: ('x, bool -> 'a) padding * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (
'x, 'b, 'c, 'd, 'e, 'f) fmt
| Flush: ('a, 'b, 'c, 'd, 'e, 'f) fmt -> ('a, 'b, 'c, 'd, 'e, 'f) fmt
| String_literal: string * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> ('a, 'b,
'c, 'd, 'e, 'f) fmt
| Char_literal: char * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> ('a, 'b, 'c,
'd, 'e, 'f) fmt
| Format_arg: pad_option * ('g, 'h, 'i, 'j, 'k, 'l) fmtty * ('a, 'b,
'c, 'd, 'e, 'f) fmt -> (('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'a, 'b,
'c, 'd, 'e, 'f) fmt
| Format_subst: pad_option * ('g, 'h, 'i, 'j, 'k, 'l, 'g2, 'b, 'c,
'j2, 'd, 'a) fmtty_rel * ('a, 'b, 'c, 'd, 'e, 'f) fmt ->
(('g, 'h, 'i, 'j, 'k, 'l) format6 -> 'g2, 'b, 'c, 'j2, 'e, 'f) fmt
| Alpha: ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (('b -> 'x -> 'c) -> 'x -> 'a,
'b, 'c, 'd, 'e, 'f) fmt
| Theta: ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (('b -> 'c) -> 'a, 'b, 'c,
'd, 'e, 'f) fmt
| Formatting_lit: formatting_lit * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (
'a, 'b, 'c, 'd, 'e, 'f) fmt
| Formatting_gen: ('a1, 'b, 'c, 'd1, 'e1, 'f1) formatting_gen * ('f1,
'b, 'c, 'e1, 'e2, 'f2) fmt -> ('a1, 'b, 'c, 'd1, 'e2, 'f2) fmt
| Reader: ('a, 'b, 'c, 'd, 'e, 'f) fmt -> ('x -> 'a, 'b, 'c,
('b -> 'x) -> 'd, 'e, 'f) fmt
| Scan_char_set: pad_option * char_set * ('a, 'b, 'c, 'd, 'e, 'f) fmt ->
(string -> 'a, 'b, 'c, 'd, 'e, 'f) fmt
| Scan_get_counter: counter * ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (int -> 'a,
'b, 'c, 'd, 'e, 'f) fmt
| Scan_next_char: ('a, 'b, 'c, 'd, 'e, 'f) fmt -> (char -> 'a, 'b,
'c, 'd, 'e, 'f) fmt
| Ignored_param: ('a, 'b, 'c, 'd, 'y, 'x) ignored * ('x, 'b, 'c, 'y,
'e, 'f) fmt -> ('a, 'b, 'c, 'd, 'e, 'f) fmt
| Custom: ('a, 'x, 'y) custom_arity * (unit -> 'x) * ('a, 'b, 'c, 'd,
'e, 'f) fmt -> ('y, 'b, 'c, 'd, 'e, 'f) fmt
| End_of_format: ('f, 'b, 'c, 'e, 'e, 'f) fmt
and ('a, 'b, 'c, 'd, 'e, 'f) ignored =
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.ignored =
| Ignored_char: ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_caml_char: ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_string: pad_option -> ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_caml_string: pad_option -> ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_int: int_conv * pad_option -> ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_int32: int_conv * pad_option -> ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_nativeint: int_conv * pad_option -> ('a, 'b, 'c, 'd, 'd,
'a) ignored
| Ignored_int64: int_conv * pad_option -> ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_float: pad_option * prec_option -> ('a, 'b, 'c, 'd, 'd, 'a)
ignored
| Ignored_bool: pad_option -> ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_format_arg: pad_option * ('g, 'h, 'i, 'j, 'k, 'l) fmtty -> (
'a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_format_subst: pad_option * ('a, 'b, 'c, 'd, 'e, 'f) fmtty -> (
'a, 'b, 'c, 'd, 'e, 'f) ignored
| Ignored_reader: ('a, 'b, 'c, ('b -> 'x) -> 'd, 'd, 'a) ignored
| Ignored_scan_char_set: pad_option * char_set -> ('a, 'b, 'c, 'd,
'd, 'a) ignored
| Ignored_scan_get_counter: counter -> ('a, 'b, 'c, 'd, 'd, 'a) ignored
| Ignored_scan_next_char: ('a, 'b, 'c, 'd, 'd, 'a) ignored
and ('a, 'b, 'c, 'd, 'e, 'f) format6 =
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6 =
| Format of ('a, 'b, 'c, 'd, 'e, 'f) fmt * string [@@deriving
traverse_lift]