Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabs_syntax.ml

    r2601 r2649  
    1515open Deqsets
    1616
     17open ErrorMessages
     18
    1719open PreIdentifiers
    1820
     
    3335open Identifiers
    3436
     37open Arithmetic
     38
     39open Vector
     40
     41open Div_and_mod
     42
     43open Jmeq
     44
     45open Russell
     46
     47open List
     48
     49open Util
     50
     51open FoldStuff
     52
     53open BitVector
     54
     55open Extranat
     56
     57open Bool
     58
     59open Relations
     60
     61open Nat
     62
     63open Integers
     64
     65open Types
     66
     67open AST
     68
     69open CostLabel
     70
     71open FrontEndVal
     72
     73open Hide
     74
     75open ByteValues
     76
     77open GenMem
     78
     79open FrontEndMem
     80
     81open Division
     82
     83open Z
     84
     85open BitVectorZ
     86
     87open Pointers
     88
    3589open Coqlib
    36 
    37 open Floats
    38 
    39 open Arithmetic
    40 
    41 open Char
    42 
    43 open String
    44 
    45 open Vector
    46 
    47 open Div_and_mod
    48 
    49 open Jmeq
    50 
    51 open Russell
    52 
    53 open List
    54 
    55 open Util
    56 
    57 open FoldStuff
    58 
    59 open BitVector
    60 
    61 open Extranat
    62 
    63 open Bool
    64 
    65 open Relations
    66 
    67 open Nat
    68 
    69 open Integers
    70 
    71 open Types
    72 
    73 open AST
    74 
    75 open CostLabel
    76 
    77 open FrontEndVal
    78 
    79 open Hide
    80 
    81 open ByteValues
    82 
    83 open GenMem
    84 
    85 open FrontEndMem
    86 
    87 open Division
    88 
    89 open Z
    90 
    91 open BitVectorZ
    92 
    93 open Pointers
    9490
    9591open Values
     
    141137    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    142138let rec statement_rect_Type4 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    143 | St_skip x_13841 -> h_St_skip x_13841
    144 | St_cost (x_13843, x_13842) -> h_St_cost x_13843 x_13842
    145 | St_const (t, x_13846, x_13845, x_13844) ->
    146   h_St_const t x_13846 x_13845 x_13844
    147 | St_op1 (t', t, x_13850, x_13849, x_13848, x_13847) ->
    148   h_St_op1 t' t x_13850 x_13849 x_13848 x_13847
    149 | St_op2 (t', t1, t2, x_13855, x_13854, x_13853, x_13852, x_13851) ->
    150   h_St_op2 t' t1 t2 x_13855 x_13854 x_13853 x_13852 x_13851
    151 | St_load (x_13859, x_13858, x_13857, x_13856) ->
    152   h_St_load x_13859 x_13858 x_13857 x_13856
    153 | St_store (x_13863, x_13862, x_13861, x_13860) ->
    154   h_St_store x_13863 x_13862 x_13861 x_13860
    155 | St_call_id (x_13867, x_13866, x_13865, x_13864) ->
    156   h_St_call_id x_13867 x_13866 x_13865 x_13864
    157 | St_call_ptr (x_13871, x_13870, x_13869, x_13868) ->
    158   h_St_call_ptr x_13871 x_13870 x_13869 x_13868
    159 | St_cond (x_13874, x_13873, x_13872) -> h_St_cond x_13874 x_13873 x_13872
     139| St_skip x_11448 -> h_St_skip x_11448
     140| St_cost (x_11450, x_11449) -> h_St_cost x_11450 x_11449
     141| St_const (t, x_11453, x_11452, x_11451) ->
     142  h_St_const t x_11453 x_11452 x_11451
     143| St_op1 (t', t, x_11457, x_11456, x_11455, x_11454) ->
     144  h_St_op1 t' t x_11457 x_11456 x_11455 x_11454
     145| St_op2 (t', t1, t2, x_11462, x_11461, x_11460, x_11459, x_11458) ->
     146  h_St_op2 t' t1 t2 x_11462 x_11461 x_11460 x_11459 x_11458
     147| St_load (x_11466, x_11465, x_11464, x_11463) ->
     148  h_St_load x_11466 x_11465 x_11464 x_11463
     149| St_store (x_11470, x_11469, x_11468, x_11467) ->
     150  h_St_store x_11470 x_11469 x_11468 x_11467
     151| St_call_id (x_11474, x_11473, x_11472, x_11471) ->
     152  h_St_call_id x_11474 x_11473 x_11472 x_11471
     153| St_call_ptr (x_11478, x_11477, x_11476, x_11475) ->
     154  h_St_call_ptr x_11478 x_11477 x_11476 x_11475
     155| St_cond (x_11481, x_11480, x_11479) -> h_St_cond x_11481 x_11480 x_11479
    160156| St_return -> h_St_return
    161157
     
    176172    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    177173let rec statement_rect_Type5 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    178 | St_skip x_13887 -> h_St_skip x_13887
    179 | St_cost (x_13889, x_13888) -> h_St_cost x_13889 x_13888
    180 | St_const (t, x_13892, x_13891, x_13890) ->
    181   h_St_const t x_13892 x_13891 x_13890
    182 | St_op1 (t', t, x_13896, x_13895, x_13894, x_13893) ->
    183   h_St_op1 t' t x_13896 x_13895 x_13894 x_13893
    184 | St_op2 (t', t1, t2, x_13901, x_13900, x_13899, x_13898, x_13897) ->
    185   h_St_op2 t' t1 t2 x_13901 x_13900 x_13899 x_13898 x_13897
    186 | St_load (x_13905, x_13904, x_13903, x_13902) ->
    187   h_St_load x_13905 x_13904 x_13903 x_13902
    188 | St_store (x_13909, x_13908, x_13907, x_13906) ->
    189   h_St_store x_13909 x_13908 x_13907 x_13906
    190 | St_call_id (x_13913, x_13912, x_13911, x_13910) ->
    191   h_St_call_id x_13913 x_13912 x_13911 x_13910
    192 | St_call_ptr (x_13917, x_13916, x_13915, x_13914) ->
    193   h_St_call_ptr x_13917 x_13916 x_13915 x_13914
    194 | St_cond (x_13920, x_13919, x_13918) -> h_St_cond x_13920 x_13919 x_13918
     174| St_skip x_11494 -> h_St_skip x_11494
     175| St_cost (x_11496, x_11495) -> h_St_cost x_11496 x_11495
     176| St_const (t, x_11499, x_11498, x_11497) ->
     177  h_St_const t x_11499 x_11498 x_11497
     178| St_op1 (t', t, x_11503, x_11502, x_11501, x_11500) ->
     179  h_St_op1 t' t x_11503 x_11502 x_11501 x_11500
     180| St_op2 (t', t1, t2, x_11508, x_11507, x_11506, x_11505, x_11504) ->
     181  h_St_op2 t' t1 t2 x_11508 x_11507 x_11506 x_11505 x_11504
     182| St_load (x_11512, x_11511, x_11510, x_11509) ->
     183  h_St_load x_11512 x_11511 x_11510 x_11509
     184| St_store (x_11516, x_11515, x_11514, x_11513) ->
     185  h_St_store x_11516 x_11515 x_11514 x_11513
     186| St_call_id (x_11520, x_11519, x_11518, x_11517) ->
     187  h_St_call_id x_11520 x_11519 x_11518 x_11517
     188| St_call_ptr (x_11524, x_11523, x_11522, x_11521) ->
     189  h_St_call_ptr x_11524 x_11523 x_11522 x_11521
     190| St_cond (x_11527, x_11526, x_11525) -> h_St_cond x_11527 x_11526 x_11525
    195191| St_return -> h_St_return
    196192
     
    211207    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    212208let rec statement_rect_Type3 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    213 | St_skip x_13933 -> h_St_skip x_13933
    214 | St_cost (x_13935, x_13934) -> h_St_cost x_13935 x_13934
    215 | St_const (t, x_13938, x_13937, x_13936) ->
    216   h_St_const t x_13938 x_13937 x_13936
    217 | St_op1 (t', t, x_13942, x_13941, x_13940, x_13939) ->
    218   h_St_op1 t' t x_13942 x_13941 x_13940 x_13939
    219 | St_op2 (t', t1, t2, x_13947, x_13946, x_13945, x_13944, x_13943) ->
    220   h_St_op2 t' t1 t2 x_13947 x_13946 x_13945 x_13944 x_13943
    221 | St_load (x_13951, x_13950, x_13949, x_13948) ->
    222   h_St_load x_13951 x_13950 x_13949 x_13948
    223 | St_store (x_13955, x_13954, x_13953, x_13952) ->
    224   h_St_store x_13955 x_13954 x_13953 x_13952
    225 | St_call_id (x_13959, x_13958, x_13957, x_13956) ->
    226   h_St_call_id x_13959 x_13958 x_13957 x_13956
    227 | St_call_ptr (x_13963, x_13962, x_13961, x_13960) ->
    228   h_St_call_ptr x_13963 x_13962 x_13961 x_13960
    229 | St_cond (x_13966, x_13965, x_13964) -> h_St_cond x_13966 x_13965 x_13964
     209| St_skip x_11540 -> h_St_skip x_11540
     210| St_cost (x_11542, x_11541) -> h_St_cost x_11542 x_11541
     211| St_const (t, x_11545, x_11544, x_11543) ->
     212  h_St_const t x_11545 x_11544 x_11543
     213| St_op1 (t', t, x_11549, x_11548, x_11547, x_11546) ->
     214  h_St_op1 t' t x_11549 x_11548 x_11547 x_11546
     215| St_op2 (t', t1, t2, x_11554, x_11553, x_11552, x_11551, x_11550) ->
     216  h_St_op2 t' t1 t2 x_11554 x_11553 x_11552 x_11551 x_11550
     217| St_load (x_11558, x_11557, x_11556, x_11555) ->
     218  h_St_load x_11558 x_11557 x_11556 x_11555
     219| St_store (x_11562, x_11561, x_11560, x_11559) ->
     220  h_St_store x_11562 x_11561 x_11560 x_11559
     221| St_call_id (x_11566, x_11565, x_11564, x_11563) ->
     222  h_St_call_id x_11566 x_11565 x_11564 x_11563
     223| St_call_ptr (x_11570, x_11569, x_11568, x_11567) ->
     224  h_St_call_ptr x_11570 x_11569 x_11568 x_11567
     225| St_cond (x_11573, x_11572, x_11571) -> h_St_cond x_11573 x_11572 x_11571
    230226| St_return -> h_St_return
    231227
     
    246242    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    247243let rec statement_rect_Type2 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    248 | St_skip x_13979 -> h_St_skip x_13979
    249 | St_cost (x_13981, x_13980) -> h_St_cost x_13981 x_13980
    250 | St_const (t, x_13984, x_13983, x_13982) ->
    251   h_St_const t x_13984 x_13983 x_13982
    252 | St_op1 (t', t, x_13988, x_13987, x_13986, x_13985) ->
    253   h_St_op1 t' t x_13988 x_13987 x_13986 x_13985
    254 | St_op2 (t', t1, t2, x_13993, x_13992, x_13991, x_13990, x_13989) ->
    255   h_St_op2 t' t1 t2 x_13993 x_13992 x_13991 x_13990 x_13989
    256 | St_load (x_13997, x_13996, x_13995, x_13994) ->
    257   h_St_load x_13997 x_13996 x_13995 x_13994
    258 | St_store (x_14001, x_14000, x_13999, x_13998) ->
    259   h_St_store x_14001 x_14000 x_13999 x_13998
    260 | St_call_id (x_14005, x_14004, x_14003, x_14002) ->
    261   h_St_call_id x_14005 x_14004 x_14003 x_14002
    262 | St_call_ptr (x_14009, x_14008, x_14007, x_14006) ->
    263   h_St_call_ptr x_14009 x_14008 x_14007 x_14006
    264 | St_cond (x_14012, x_14011, x_14010) -> h_St_cond x_14012 x_14011 x_14010
     244| St_skip x_11586 -> h_St_skip x_11586
     245| St_cost (x_11588, x_11587) -> h_St_cost x_11588 x_11587
     246| St_const (t, x_11591, x_11590, x_11589) ->
     247  h_St_const t x_11591 x_11590 x_11589
     248| St_op1 (t', t, x_11595, x_11594, x_11593, x_11592) ->
     249  h_St_op1 t' t x_11595 x_11594 x_11593 x_11592
     250| St_op2 (t', t1, t2, x_11600, x_11599, x_11598, x_11597, x_11596) ->
     251  h_St_op2 t' t1 t2 x_11600 x_11599 x_11598 x_11597 x_11596
     252| St_load (x_11604, x_11603, x_11602, x_11601) ->
     253  h_St_load x_11604 x_11603 x_11602 x_11601
     254| St_store (x_11608, x_11607, x_11606, x_11605) ->
     255  h_St_store x_11608 x_11607 x_11606 x_11605
     256| St_call_id (x_11612, x_11611, x_11610, x_11609) ->
     257  h_St_call_id x_11612 x_11611 x_11610 x_11609
     258| St_call_ptr (x_11616, x_11615, x_11614, x_11613) ->
     259  h_St_call_ptr x_11616 x_11615 x_11614 x_11613
     260| St_cond (x_11619, x_11618, x_11617) -> h_St_cond x_11619 x_11618 x_11617
    265261| St_return -> h_St_return
    266262
     
    281277    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    282278let rec statement_rect_Type1 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    283 | St_skip x_14025 -> h_St_skip x_14025
    284 | St_cost (x_14027, x_14026) -> h_St_cost x_14027 x_14026
    285 | St_const (t, x_14030, x_14029, x_14028) ->
    286   h_St_const t x_14030 x_14029 x_14028
    287 | St_op1 (t', t, x_14034, x_14033, x_14032, x_14031) ->
    288   h_St_op1 t' t x_14034 x_14033 x_14032 x_14031
    289 | St_op2 (t', t1, t2, x_14039, x_14038, x_14037, x_14036, x_14035) ->
    290   h_St_op2 t' t1 t2 x_14039 x_14038 x_14037 x_14036 x_14035
    291 | St_load (x_14043, x_14042, x_14041, x_14040) ->
    292   h_St_load x_14043 x_14042 x_14041 x_14040
    293 | St_store (x_14047, x_14046, x_14045, x_14044) ->
    294   h_St_store x_14047 x_14046 x_14045 x_14044
    295 | St_call_id (x_14051, x_14050, x_14049, x_14048) ->
    296   h_St_call_id x_14051 x_14050 x_14049 x_14048
    297 | St_call_ptr (x_14055, x_14054, x_14053, x_14052) ->
    298   h_St_call_ptr x_14055 x_14054 x_14053 x_14052
    299 | St_cond (x_14058, x_14057, x_14056) -> h_St_cond x_14058 x_14057 x_14056
     279| St_skip x_11632 -> h_St_skip x_11632
     280| St_cost (x_11634, x_11633) -> h_St_cost x_11634 x_11633
     281| St_const (t, x_11637, x_11636, x_11635) ->
     282  h_St_const t x_11637 x_11636 x_11635
     283| St_op1 (t', t, x_11641, x_11640, x_11639, x_11638) ->
     284  h_St_op1 t' t x_11641 x_11640 x_11639 x_11638
     285| St_op2 (t', t1, t2, x_11646, x_11645, x_11644, x_11643, x_11642) ->
     286  h_St_op2 t' t1 t2 x_11646 x_11645 x_11644 x_11643 x_11642
     287| St_load (x_11650, x_11649, x_11648, x_11647) ->
     288  h_St_load x_11650 x_11649 x_11648 x_11647
     289| St_store (x_11654, x_11653, x_11652, x_11651) ->
     290  h_St_store x_11654 x_11653 x_11652 x_11651
     291| St_call_id (x_11658, x_11657, x_11656, x_11655) ->
     292  h_St_call_id x_11658 x_11657 x_11656 x_11655
     293| St_call_ptr (x_11662, x_11661, x_11660, x_11659) ->
     294  h_St_call_ptr x_11662 x_11661 x_11660 x_11659
     295| St_cond (x_11665, x_11664, x_11663) -> h_St_cond x_11665 x_11664 x_11663
    300296| St_return -> h_St_return
    301297
     
    316312    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    317313let rec statement_rect_Type0 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    318 | St_skip x_14071 -> h_St_skip x_14071
    319 | St_cost (x_14073, x_14072) -> h_St_cost x_14073 x_14072
    320 | St_const (t, x_14076, x_14075, x_14074) ->
    321   h_St_const t x_14076 x_14075 x_14074
    322 | St_op1 (t', t, x_14080, x_14079, x_14078, x_14077) ->
    323   h_St_op1 t' t x_14080 x_14079 x_14078 x_14077
    324 | St_op2 (t', t1, t2, x_14085, x_14084, x_14083, x_14082, x_14081) ->
    325   h_St_op2 t' t1 t2 x_14085 x_14084 x_14083 x_14082 x_14081
    326 | St_load (x_14089, x_14088, x_14087, x_14086) ->
    327   h_St_load x_14089 x_14088 x_14087 x_14086
    328 | St_store (x_14093, x_14092, x_14091, x_14090) ->
    329   h_St_store x_14093 x_14092 x_14091 x_14090
    330 | St_call_id (x_14097, x_14096, x_14095, x_14094) ->
    331   h_St_call_id x_14097 x_14096 x_14095 x_14094
    332 | St_call_ptr (x_14101, x_14100, x_14099, x_14098) ->
    333   h_St_call_ptr x_14101 x_14100 x_14099 x_14098
    334 | St_cond (x_14104, x_14103, x_14102) -> h_St_cond x_14104 x_14103 x_14102
     314| St_skip x_11678 -> h_St_skip x_11678
     315| St_cost (x_11680, x_11679) -> h_St_cost x_11680 x_11679
     316| St_const (t, x_11683, x_11682, x_11681) ->
     317  h_St_const t x_11683 x_11682 x_11681
     318| St_op1 (t', t, x_11687, x_11686, x_11685, x_11684) ->
     319  h_St_op1 t' t x_11687 x_11686 x_11685 x_11684
     320| St_op2 (t', t1, t2, x_11692, x_11691, x_11690, x_11689, x_11688) ->
     321  h_St_op2 t' t1 t2 x_11692 x_11691 x_11690 x_11689 x_11688
     322| St_load (x_11696, x_11695, x_11694, x_11693) ->
     323  h_St_load x_11696 x_11695 x_11694 x_11693
     324| St_store (x_11700, x_11699, x_11698, x_11697) ->
     325  h_St_store x_11700 x_11699 x_11698 x_11697
     326| St_call_id (x_11704, x_11703, x_11702, x_11701) ->
     327  h_St_call_id x_11704 x_11703 x_11702 x_11701
     328| St_call_ptr (x_11708, x_11707, x_11706, x_11705) ->
     329  h_St_call_ptr x_11708 x_11707 x_11706 x_11705
     330| St_cond (x_11711, x_11710, x_11709) -> h_St_cond x_11711 x_11710 x_11709
    335331| St_return -> h_St_return
    336332
     
    468464    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    469465    internal_function -> 'a1 **)
    470 let rec internal_function_rect_Type4 h_mk_internal_function x_14394 =
     466let rec internal_function_rect_Type4 h_mk_internal_function x_12001 =
    471467  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    472468    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    473     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_14394
     469    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_12001
    474470  in
    475471  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    483479    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    484480    internal_function -> 'a1 **)
    485 let rec internal_function_rect_Type5 h_mk_internal_function x_14396 =
     481let rec internal_function_rect_Type5 h_mk_internal_function x_12003 =
    486482  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    487483    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    488     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_14396
     484    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_12003
    489485  in
    490486  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    498494    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    499495    internal_function -> 'a1 **)
    500 let rec internal_function_rect_Type3 h_mk_internal_function x_14398 =
     496let rec internal_function_rect_Type3 h_mk_internal_function x_12005 =
    501497  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    502498    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    503     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_14398
     499    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_12005
    504500  in
    505501  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    513509    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    514510    internal_function -> 'a1 **)
    515 let rec internal_function_rect_Type2 h_mk_internal_function x_14400 =
     511let rec internal_function_rect_Type2 h_mk_internal_function x_12007 =
    516512  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    517513    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    518     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_14400
     514    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_12007
    519515  in
    520516  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    528524    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    529525    internal_function -> 'a1 **)
    530 let rec internal_function_rect_Type1 h_mk_internal_function x_14402 =
     526let rec internal_function_rect_Type1 h_mk_internal_function x_12009 =
    531527  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    532528    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    533     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_14402
     529    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_12009
    534530  in
    535531  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    543539    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    544540    internal_function -> 'a1 **)
    545 let rec internal_function_rect_Type0 h_mk_internal_function x_14404 =
     541let rec internal_function_rect_Type0 h_mk_internal_function x_12011 =
    546542  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    547543    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    548     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_14404
     544    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_12011
    549545  in
    550546  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
Note: See TracChangeset for help on using the changeset viewer.