source: extracted/joint_printer.mli @ 2890

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

Trying to pretty print the code graph in visit order.
Slightly bugged ATM, IKD why.

File size: 21.8 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_empty : 'string;
194                                                  print_ident : (AST.ident ->
195                                                                'string);
196                                                  print_costlabel : (CostLabel.costlabel
197                                                                    ->
198                                                                    'string);
199                                                  print_label : (Graphs.label
200                                                                -> 'string);
201                                                  print_OpAccs : (BackEndOps.opAccs
202                                                                 -> 'string);
203                                                  print_Op1 : (BackEndOps.op1
204                                                              -> 'string);
205                                                  print_Op2 : (BackEndOps.op2
206                                                              -> 'string) }
207
208val printing_pass_independent_params_rect_Type4 :
209  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
210  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
211  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
212  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
213  'a2
214
215val printing_pass_independent_params_rect_Type5 :
216  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
217  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
218  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
219  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
220  'a2
221
222val printing_pass_independent_params_rect_Type3 :
223  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
224  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
225  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
226  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
227  'a2
228
229val printing_pass_independent_params_rect_Type2 :
230  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
231  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
232  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
233  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
234  'a2
235
236val printing_pass_independent_params_rect_Type1 :
237  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
238  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
239  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
240  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
241  'a2
242
243val printing_pass_independent_params_rect_Type0 :
244  ((String.string -> 'a1) -> (keyword -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1
245  -> (AST.ident -> 'a1) -> (CostLabel.costlabel -> 'a1) -> (Graphs.label ->
246  'a1) -> (BackEndOps.opAccs -> 'a1) -> (BackEndOps.op1 -> 'a1) ->
247  (BackEndOps.op2 -> 'a1) -> 'a2) -> 'a1 printing_pass_independent_params ->
248  'a2
249
250val print_String :
251  'a1 printing_pass_independent_params -> String.string -> 'a1
252
253val print_keyword : 'a1 printing_pass_independent_params -> keyword -> 'a1
254
255val print_concat : 'a1 printing_pass_independent_params -> 'a1 -> 'a1 -> 'a1
256
257val print_empty : 'a1 printing_pass_independent_params -> 'a1
258
259val print_ident : 'a1 printing_pass_independent_params -> AST.ident -> 'a1
260
261val print_costlabel :
262  'a1 printing_pass_independent_params -> CostLabel.costlabel -> 'a1
263
264val print_label : 'a1 printing_pass_independent_params -> Graphs.label -> 'a1
265
266val print_OpAccs :
267  'a1 printing_pass_independent_params -> BackEndOps.opAccs -> 'a1
268
269val print_Op1 : 'a1 printing_pass_independent_params -> BackEndOps.op1 -> 'a1
270
271val print_Op2 : 'a1 printing_pass_independent_params -> BackEndOps.op2 -> 'a1
272
273val printing_pass_independent_params_inv_rect_Type4 :
274  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
275  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
276  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
277  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
278  -> 'a2
279
280val printing_pass_independent_params_inv_rect_Type3 :
281  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
282  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
283  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
284  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
285  -> 'a2
286
287val printing_pass_independent_params_inv_rect_Type2 :
288  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
289  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
290  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
291  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
292  -> 'a2
293
294val printing_pass_independent_params_inv_rect_Type1 :
295  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
296  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
297  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
298  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
299  -> 'a2
300
301val printing_pass_independent_params_inv_rect_Type0 :
302  'a1 printing_pass_independent_params -> ((String.string -> 'a1) -> (keyword
303  -> 'a1) -> ('a1 -> 'a1 -> 'a1) -> 'a1 -> (AST.ident -> 'a1) ->
304  (CostLabel.costlabel -> 'a1) -> (Graphs.label -> 'a1) -> (BackEndOps.opAccs
305  -> 'a1) -> (BackEndOps.op1 -> 'a1) -> (BackEndOps.op2 -> 'a1) -> __ -> 'a2)
306  -> 'a2
307
308val printing_pass_independent_params_jmdiscr :
309  'a1 printing_pass_independent_params -> 'a1
310  printing_pass_independent_params -> __
311
312type 'string printing_params = { print_pass_ind : 'string
313                                                  printing_pass_independent_params;
314                                 print_acc_a_reg : (__ -> 'string);
315                                 print_acc_b_reg : (__ -> 'string);
316                                 print_acc_a_arg : (__ -> 'string);
317                                 print_acc_b_arg : (__ -> 'string);
318                                 print_dpl_reg : (__ -> 'string);
319                                 print_dph_reg : (__ -> 'string);
320                                 print_dpl_arg : (__ -> 'string);
321                                 print_dph_arg : (__ -> 'string);
322                                 print_snd_arg : (__ -> 'string);
323                                 print_pair_move : (__ -> 'string);
324                                 print_call_args : (__ -> 'string);
325                                 print_call_dest : (__ -> 'string);
326                                 print_ext_seq : (__ -> 'string) }
327
328val printing_params_rect_Type4 :
329  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
330  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
331  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
332  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
333
334val printing_params_rect_Type5 :
335  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
336  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
337  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
338  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
339
340val printing_params_rect_Type3 :
341  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
342  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
343  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
344  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
345
346val printing_params_rect_Type2 :
347  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
348  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
349  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
350  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
351
352val printing_params_rect_Type1 :
353  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
354  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
355  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
356  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
357
358val printing_params_rect_Type0 :
359  Joint.unserialized_params -> ('a1 printing_pass_independent_params -> (__
360  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
361  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__
362  -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) -> 'a1 printing_params -> 'a2
363
364val print_pass_ind :
365  Joint.unserialized_params -> 'a1 printing_params -> 'a1
366  printing_pass_independent_params
367
368val print_acc_a_reg :
369  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
370
371val print_acc_b_reg :
372  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
373
374val print_acc_a_arg :
375  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
376
377val print_acc_b_arg :
378  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
379
380val print_dpl_reg :
381  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
382
383val print_dph_reg :
384  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
385
386val print_dpl_arg :
387  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
388
389val print_dph_arg :
390  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
391
392val print_snd_arg :
393  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
394
395val print_pair_move :
396  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
397
398val print_call_args :
399  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
400
401val print_call_dest :
402  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
403
404val print_ext_seq :
405  Joint.unserialized_params -> 'a1 printing_params -> __ -> 'a1
406
407val printing_params_inv_rect_Type4 :
408  Joint.unserialized_params -> 'a1 printing_params -> ('a1
409  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
410  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
411  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
412  'a1) -> __ -> 'a2) -> 'a2
413
414val printing_params_inv_rect_Type3 :
415  Joint.unserialized_params -> 'a1 printing_params -> ('a1
416  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
417  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
418  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
419  'a1) -> __ -> 'a2) -> 'a2
420
421val printing_params_inv_rect_Type2 :
422  Joint.unserialized_params -> 'a1 printing_params -> ('a1
423  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
424  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
425  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
426  'a1) -> __ -> 'a2) -> 'a2
427
428val printing_params_inv_rect_Type1 :
429  Joint.unserialized_params -> 'a1 printing_params -> ('a1
430  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
431  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
432  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
433  'a1) -> __ -> 'a2) -> 'a2
434
435val printing_params_inv_rect_Type0 :
436  Joint.unserialized_params -> 'a1 printing_params -> ('a1
437  printing_pass_independent_params -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
438  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
439  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
440  'a1) -> __ -> 'a2) -> 'a2
441
442val printing_params_jmdiscr :
443  Joint.unserialized_params -> 'a1 printing_params -> 'a1 printing_params ->
444  __
445
446val dpi1__o__print_pass_ind__o__inject :
447  Joint.unserialized_params -> ('a1 printing_params, 'a2) Types.dPair -> 'a1
448  printing_pass_independent_params Types.sig0
449
450val eject__o__print_pass_ind__o__inject :
451  Joint.unserialized_params -> 'a1 printing_params Types.sig0 -> 'a1
452  printing_pass_independent_params Types.sig0
453
454val print_pass_ind__o__inject :
455  Joint.unserialized_params -> 'a1 printing_params -> 'a1
456  printing_pass_independent_params Types.sig0
457
458val dpi1__o__print_pass_ind :
459  Joint.unserialized_params -> ('a1 printing_params, 'a2) Types.dPair -> 'a1
460  printing_pass_independent_params
461
462val eject__o__print_pass_ind :
463  Joint.unserialized_params -> 'a1 printing_params Types.sig0 -> 'a1
464  printing_pass_independent_params
465
466type 'string code_iteration_params = { fold_code : (__ -> (__ ->
467                                                   Joint.joint_statement ->
468                                                   __ -> __) -> __ -> __ ->
469                                                   __);
470                                       print_succ : (__ -> 'string);
471                                       print_code_point : (__ -> 'string) }
472
473val code_iteration_params_rect_Type4 :
474  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
475  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
476  'a1 code_iteration_params -> 'a2
477
478val code_iteration_params_rect_Type5 :
479  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
480  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
481  'a1 code_iteration_params -> 'a2
482
483val code_iteration_params_rect_Type3 :
484  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
485  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
486  'a1 code_iteration_params -> 'a2
487
488val code_iteration_params_rect_Type2 :
489  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
490  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
491  'a1 code_iteration_params -> 'a2
492
493val code_iteration_params_rect_Type1 :
494  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
495  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
496  'a1 code_iteration_params -> 'a2
497
498val code_iteration_params_rect_Type0 :
499  Joint.params -> AST.ident List.list -> ((__ -> (__ -> Joint.joint_statement
500  -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a2) ->
501  'a1 code_iteration_params -> 'a2
502
503val fold_code0 :
504  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> (__ ->
505  Joint.joint_statement -> 'a2 -> 'a2) -> __ -> 'a2 -> 'a2
506
507val print_succ :
508  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> __ ->
509  'a1
510
511val print_code_point :
512  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> __ ->
513  'a1
514
515val code_iteration_params_inv_rect_Type4 :
516  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
517  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
518  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
519
520val code_iteration_params_inv_rect_Type3 :
521  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
522  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
523  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
524
525val code_iteration_params_inv_rect_Type2 :
526  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
527  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
528  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
529
530val code_iteration_params_inv_rect_Type1 :
531  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
532  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
533  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
534
535val code_iteration_params_inv_rect_Type0 :
536  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> ((__ ->
537  (__ -> Joint.joint_statement -> __ -> __) -> __ -> __ -> __) -> (__ -> 'a1)
538  -> (__ -> 'a1) -> __ -> 'a2) -> 'a2
539
540val code_iteration_params_jmdiscr :
541  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
542  code_iteration_params -> __
543
544val pm_choose_with_pref :
545  'a1 PositiveMap.positive_map -> Positive.pos Types.option ->
546  ((Positive.pos, 'a1) Types.prod, 'a1 PositiveMap.positive_map) Types.prod
547  Types.option
548
549val visit_graph :
550  ('a1 -> Positive.pos Types.option) -> (Positive.pos -> 'a1 -> 'a2 -> 'a2)
551  -> 'a2 -> Positive.pos Types.option -> 'a1 PositiveMap.positive_map ->
552  Nat.nat -> 'a2
553
554val graph_code_iteration_params :
555  Joint.graph_params -> AST.ident List.list -> 'a1 printing_params -> 'a1
556  code_iteration_params
557
558val print_list : 'a1 printing_pass_independent_params -> 'a1 List.list -> 'a1
559
560val print_joint_seq :
561  Joint.unserialized_params -> AST.ident List.list -> 'a1 printing_params ->
562  Joint.joint_seq -> 'a1
563
564val print_joint_step :
565  Joint.unserialized_params -> AST.ident List.list -> 'a1 printing_params ->
566  Joint.joint_step -> 'a1
567
568val print_joint_fin_step :
569  Joint.unserialized_params -> 'a1 printing_params -> Joint.joint_fin_step ->
570  'a1
571
572val print_joint_statement :
573  Joint.params -> AST.ident List.list -> 'a1 printing_params -> 'a1
574  code_iteration_params -> Joint.joint_statement -> 'a1
575
576val print_joint_internal_function :
577  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
578  printing_params -> Joint.joint_internal_function -> 'a1 List.list
579
580val print_joint_function :
581  Joint.params -> AST.ident List.list -> 'a1 code_iteration_params -> 'a1
582  printing_params -> Joint.joint_function -> 'a1 List.list
583
584val print_joint_program :
585  Joint.params -> 'a1 printing_params -> Joint.joint_program -> 'a1
586  code_iteration_params -> (AST.ident, 'a1 List.list) Types.prod List.list
587
Note: See TracBrowser for help on using the repository browser.