source: extracted/joint_printer.mli @ 2854

Last change on this file since 2854 was 2854, checked in by sacerdot, 7 years ago

Pretty printing of the LTL program.

File size: 21.6 KB
Line 
1open Preamble
2
3open String
4
5open Sets
6
7open Listb
8
9open LabelledObjects
10
11open BitVectorTrie
12
13open Graphs
14
15open I8051
16
17open Order
18
19open Registers
20
21open CostLabel
22
23open Hide
24
25open Proper
26
27open PositiveMap
28
29open Deqsets
30
31open ErrorMessages
32
33open PreIdentifiers
34
35open Errors
36
37open Extralib
38
39open Lists
40
41open Identifiers
42
43open Integers
44
45open AST
46
47open Division
48
49open Exp
50
51open Arithmetic
52
53open Setoids
54
55open Monad
56
57open Option
58
59open Extranat
60
61open Vector
62
63open Div_and_mod
64
65open Jmeq
66
67open Russell
68
69open List
70
71open Util
72
73open FoldStuff
74
75open BitVector
76
77open Types
78
79open Bool
80
81open Relations
82
83open Nat
84
85open Hints_declaration
86
87open Core_notation
88
89open Pts
90
91open Logic
92
93open Positive
94
95open Z
96
97open BitVectorZ
98
99open Pointers
100
101open ByteValues
102
103open BackEndOps
104
105open Joint
106
107type keyword =
108| KwCOMMENT
109| KwMOVE
110| KwPOP
111| KwPUSH
112| KwADDRESS
113| KwOPACCS
114| KwOP1
115| KwOP2
116| KwCLEAR_CARRY
117| KwSET_CARRY
118| KwLOAD
119| KwSTORE
120| KwCOST_LABEL
121| KwCOND
122| KwCALL
123| KwGOTO
124| KwRETURN
125| KwTAILCALL
126| KwFCOND
127
128val keyword_rect_Type4 :
129  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
130  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> keyword -> 'a1
131
132val keyword_rect_Type5 :
133  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
134  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> keyword -> 'a1
135
136val keyword_rect_Type3 :
137  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
138  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> keyword -> 'a1
139
140val keyword_rect_Type2 :
141  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
142  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> keyword -> 'a1
143
144val keyword_rect_Type1 :
145  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
146  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> keyword -> 'a1
147
148val keyword_rect_Type0 :
149  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
150  -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> keyword -> 'a1
151
152val keyword_inv_rect_Type4 :
153  keyword -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
154  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
155  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
156  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
157
158val keyword_inv_rect_Type3 :
159  keyword -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
160  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
161  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
162  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
163
164val keyword_inv_rect_Type2 :
165  keyword -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
166  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
167  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
168  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
169
170val keyword_inv_rect_Type1 :
171  keyword -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
172  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
173  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
174  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
175
176val keyword_inv_rect_Type0 :
177  keyword -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
178  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
179  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
180  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
181
182val keyword_discr : keyword -> keyword -> __
183
184val keyword_jmdiscr : keyword -> keyword -> __
185
186type 'string printing_pass_independent_params = { print_String : (String.string
187                                                                 -> 'string);
188                                                  print_keyword : (keyword ->
189                                                                  'string);
190                                                  print_concat : ('string ->
191                                                                 'string ->
192                                                                 'string);
193                                                  print_newline : 'string;
194                                                  print_empty : 'string;
195                                                  print_ident : (AST.ident ->
196                                                                'string);
197                                                  print_costlabel : (CostLabel.costlabel
198                                                                    ->
199                                                                    'string);
200                                                  print_label : (Graphs.label
201                                                                -> 'string);
202                                                  print_OpAccs : (BackEndOps.opAccs
203                                                                 -> 'string);
204                                                  print_Op1 : (BackEndOps.op1
205                                                              -> 'string);
206                                                  print_Op2 : (BackEndOps.op2
207                                                              -> 'string) }
208
209val printing_pass_independent_params_rect_Type4 :
210  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
211  -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
212  (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
213  'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
214  printing_pass_independent_params -> 'a2
215
216val printing_pass_independent_params_rect_Type5 :
217  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
218  -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
219  (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
220  'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
221  printing_pass_independent_params -> 'a2
222
223val printing_pass_independent_params_rect_Type3 :
224  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
225  -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
226  (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
227  'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
228  printing_pass_independent_params -> 'a2
229
230val printing_pass_independent_params_rect_Type2 :
231  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
232  -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
233  (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
234  'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
235  printing_pass_independent_params -> 'a2
236
237val printing_pass_independent_params_rect_Type1 :
238  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
239  -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
240  (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
241  'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
242  printing_pass_independent_params -> 'a2
243
244val printing_pass_independent_params_rect_Type0 :
245  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
246  -> 'a1 -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) ->
247  (Graphs.label -> 'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 ->
248  'a1) -> (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1
249  printing_pass_independent_params -> 'a2
250
251val print_String :
252  'a1 printing_pass_independent_params -> String.string -> 'a1
253
254val print_keyword : 'a1 printing_pass_independent_params -> keyword -> 'a1
255
256val print_concat : 'a1 printing_pass_independent_params -> 'a1 -> 'a1 -> 'a1
257
258val print_newline : 'a1 printing_pass_independent_params -> 'a1
259
260val print_empty : 'a1 printing_pass_independent_params -> 'a1
261
262val print_ident : 'a1 printing_pass_independent_params -> AST.ident -> 'a1
263
264val print_costlabel :
265  'a1 printing_pass_independent_params -> CostLabel.costlabel -> 'a1
266
267val print_label : 'a1 printing_pass_independent_params -> Graphs.label -> 'a1
268
269val print_OpAccs :
270  'a1 printing_pass_independent_params -> BackEndOps.opAccs -> 'a1
271
272val print_Op1 : 'a1 printing_pass_independent_params -> BackEndOps.op1 -> 'a1
273
274val print_Op2 : 'a1 printing_pass_independent_params -> BackEndOps.op2 -> 'a1
275
276val printing_pass_independent_params_inv_rect_Type4 :
277  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
278  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
279  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
280  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
281  -> 'a2
282
283val printing_pass_independent_params_inv_rect_Type3 :
284  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
285  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
286  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
287  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
288  -> 'a2
289
290val printing_pass_independent_params_inv_rect_Type2 :
291  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
292  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
293  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
294  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
295  -> 'a2
296
297val printing_pass_independent_params_inv_rect_Type1 :
298  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
299  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
300  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
301  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
302  -> 'a2
303
304val printing_pass_independent_params_inv_rect_Type0 :
305  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
306  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> 'a1 -> (AST.ident -> 'a1) ->
307  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
308  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
309  -> 'a2
310
311val printing_pass_independent_params_jmdiscr :
312  'a1 printing_pass_independent_params -> 'a1
313  printing_pass_independent_params -> __
314
315type 'string printing_params = { print_pass_ind : 'string
316                                                  printing_pass_independent_params;
317                                 print_acc_a_reg : (__ -> 'string);
318                                 print_acc_b_reg : (__ -> 'string);
319                                 print_acc_a_arg : (__ -> 'string);
320                                 print_acc_b_arg : (__ -> 'string);
321                                 print_dpl_reg : (__ -> 'string);
322                                 print_dph_reg : (__ -> 'string);
323                                 print_dpl_arg : (__ -> 'string);
324                                 print_dph_arg : (__ -> 'string);
325                                 print_snd_arg : (__ -> 'string);
326                                 print_pair_move : (__ -> 'string);
327                                 print_call_args : (__ -> 'string);
328                                 print_call_dest : (__ -> 'string);
329                                 print_ext_seq : (__ -> 'string) }
330
331val printing_params_rect_Type4 :
332  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
333  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
334  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
335  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
336
337val printing_params_rect_Type5 :
338  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
339  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
340  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
341  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
342
343val printing_params_rect_Type3 :
344  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
345  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
346  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
347  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
348
349val printing_params_rect_Type2 :
350  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
351  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
352  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
353  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
354
355val printing_params_rect_Type1 :
356  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
357  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
358  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
359  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
360
361val printing_params_rect_Type0 :
362  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
363  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
364  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
365  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
366
367val print_pass_ind :
368  Joint.unserialized_params -> 'a1 printing_params -> 'a1
369  printing_pass_independent_params
370
371val print_acc_a_reg :
372  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
373
374val print_acc_b_reg :
375  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
376
377val print_acc_a_arg :
378  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
379
380val print_acc_b_arg :
381  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
382
383val print_dpl_reg :
384  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
385
386val print_dph_reg :
387  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
388
389val print_dpl_arg :
390  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
391
392val print_dph_arg :
393  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
394
395val print_snd_arg :
396  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
397
398val print_pair_move :
399  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
400
401val print_call_args :
402  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
403
404val print_call_dest :
405  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
406
407val print_ext_seq :
408  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
409
410val printing_params_inv_rect_Type4 :
411  Joint.unserialized_params -> 'a1 printing_params -> ('a1
412  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
413  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
414  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
415  'a1) -> __ -> 'a2) -> 'a2
416
417val printing_params_inv_rect_Type3 :
418  Joint.unserialized_params -> 'a1 printing_params -> ('a1
419  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
420  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
421  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
422  'a1) -> __ -> 'a2) -> 'a2
423
424val printing_params_inv_rect_Type2 :
425  Joint.unserialized_params -> 'a1 printing_params -> ('a1
426  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
427  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
428  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
429  'a1) -> __ -> 'a2) -> 'a2
430
431val printing_params_inv_rect_Type1 :
432  Joint.unserialized_params -> 'a1 printing_params -> ('a1
433  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
434  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
435  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
436  'a1) -> __ -> 'a2) -> 'a2
437
438val printing_params_inv_rect_Type0 :
439  Joint.unserialized_params -> 'a1 printing_params -> ('a1
440  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
441  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
442  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
443  'a1) -> __ -> 'a2) -> 'a2
444
445val printing_params_jmdiscr :
446  Joint.unserialized_params -> 'a1 printing_params -> 'a1 printing_params ->
447  __
448
449val dpi1__o__print_pass_ind__o__inject :
450  Joint.unserialized_params -> ('a1 printing_params, 'a2) Types.dPair -> 'a1
451  printing_pass_independent_params Types.sig0
452
453val eject__o__print_pass_ind__o__inject :
454  Joint.unserialized_params -> 'a1 printing_params Types.sig0 -> 'a1
455  printing_pass_independent_params Types.sig0
456
457val print_pass_ind__o__inject :
458  Joint.unserialized_params -> 'a1 printing_params -> 'a1
459  printing_pass_independent_params Types.sig0
460
461val dpi1__o__print_pass_ind :
462  Joint.unserialized_params -> ('a1 printing_params, 'a2) Types.dPair -> 'a1
463  printing_pass_independent_params
464
465val eject__o__print_pass_ind :
466  Joint.unserialized_params -> 'a1 printing_params Types.sig0 -> 'a1
467  printing_pass_independent_params
468
469type 'string code_iteration_params = { fold_code : (__ -> (__ ->
470                                                   Joint.joint_statement ->
471                                                   __ -> __) -> __ -> __ ->
472                                                   __);
473                                       print_succ : (__ -> 'string);
474                                       print_code_point : (__ -> 'string) }
475
476val code_iteration_params_rect_Type4 :
477  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
478  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
479  'a1 code_iteration_params -> 'a2
480
481val code_iteration_params_rect_Type5 :
482  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
483  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
484  'a1 code_iteration_params -> 'a2
485
486val code_iteration_params_rect_Type3 :
487  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
488  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
489  'a1 code_iteration_params -> 'a2
490
491val code_iteration_params_rect_Type2 :
492  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
493  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
494  'a1 code_iteration_params -> 'a2
495
496val code_iteration_params_rect_Type1 :
497  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
498  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
499  'a1 code_iteration_params -> 'a2
500
501val code_iteration_params_rect_Type0 :
502  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
503  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
504  'a1 code_iteration_params -> 'a2
505
506val fold_code0 :
507  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> (__ ->
508  Joint.joint_statement -> 'a2 -> 'a2) -> __ -> 'a2 -> 'a2
509
510val print_succ :
511  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> __ ->
512  'a1
513
514val print_code_point :
515  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> __ ->
516  'a1
517
518val code_iteration_params_inv_rect_Type4 :
519  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
520  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
521  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
522
523val code_iteration_params_inv_rect_Type3 :
524  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
525  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
526  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
527
528val code_iteration_params_inv_rect_Type2 :
529  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
530  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
531  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
532
533val code_iteration_params_inv_rect_Type1 :
534  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
535  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
536  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
537
538val code_iteration_params_inv_rect_Type0 :
539  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
540  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
541  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
542
543val code_iteration_params_jmdiscr :
544  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
545  code_iteration_params -> __
546
547val graph_code_iteration_params :
548  Joint.graph_params -> AST.ident List.list -> 'a1 printing_params -> 'a1
549  code_iteration_params
550
551val print_list : 'a1 printing_pass_independent_params -> 'a1 List.list -> 'a1
552
553val print_joint_seq :
554  Joint.unserialized_params -> AST.ident List.list -> 'a1 printing_params ->
555  Joint.joint_seq -> 'a1
556
557val print_joint_step :
558  Joint.unserialized_params -> AST.ident List.list -> 'a1 printing_params ->
559  Joint.joint_step -> 'a1
560
561val print_joint_fin_step :
562  Joint.unserialized_params -> 'a1 printing_params -> Joint.joint_fin_step ->
563  'a1
564
565val print_joint_statement :
566  Joint.params -> AST.ident List.list -> 'a1 printing_params -> 'a1
567  code_iteration_params -> Joint.joint_statement -> 'a1
568
569val print_joint_internal_function :
570  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
571  printing_params -> Joint.joint_internal_function -> 'a1
572
573val print_joint_function :
574  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
575  printing_params -> Joint.joint_function -> 'a1
576
577val print_joint_program :
578  Joint.params -> 'a1 printing_params -> Joint.joint_program -> 'a1
579  code_iteration_params -> 'a1
580
Note: See TracBrowser for help on using the repository browser.