Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabs_syntax.ml

    r2743 r2773  
    2323open Extralib
    2424
     25open Lists
     26
     27open Positive
     28
     29open Identifiers
     30
     31open Exp
     32
     33open Arithmetic
     34
     35open Vector
     36
     37open Div_and_mod
     38
     39open Util
     40
     41open FoldStuff
     42
     43open BitVector
     44
     45open Jmeq
     46
     47open Russell
     48
     49open List
     50
    2551open Setoids
    2652
     
    2955open Option
    3056
    31 open Lists
    32 
    33 open Positive
    34 
    35 open Identifiers
    36 
    37 open Exp
    38 
    39 open Arithmetic
    40 
    41 open Vector
    42 
    43 open Div_and_mod
    44 
    45 open Jmeq
    46 
    47 open Russell
    48 
    49 open List
    50 
    51 open Util
    52 
    53 open FoldStuff
    54 
    55 open BitVector
    56 
    5757open Extranat
    5858
     
    6969open AST
    7070
     71open CostLabel
     72
     73open FrontEndVal
     74
     75open Hide
     76
     77open ByteValues
     78
     79open GenMem
     80
     81open FrontEndMem
     82
     83open Division
     84
     85open Z
     86
     87open BitVectorZ
     88
     89open Pointers
     90
     91open Coqlib
     92
     93open Values
     94
     95open FrontEndOps
     96
     97open Order
     98
     99open Registers
     100
    71101open BitVectorTrie
    72 
    73 open CostLabel
    74 
    75 open FrontEndVal
    76 
    77 open Hide
    78 
    79 open ByteValues
    80 
    81 open GenMem
    82 
    83 open FrontEndMem
    84 
    85 open Division
    86 
    87 open Z
    88 
    89 open BitVectorZ
    90 
    91 open Pointers
    92 
    93 open Coqlib
    94 
    95 open Values
    96 
    97 open FrontEndOps
    98 
    99 open Order
    100 
    101 open Registers
    102102
    103103open Graphs
     
    139139    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    140140let 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
    141 | St_skip x_14764 -> h_St_skip x_14764
    142 | St_cost (x_14766, x_14765) -> h_St_cost x_14766 x_14765
    143 | St_const (t, x_14769, x_14768, x_14767) ->
    144   h_St_const t x_14769 x_14768 x_14767
    145 | St_op1 (t', t, x_14773, x_14772, x_14771, x_14770) ->
    146   h_St_op1 t' t x_14773 x_14772 x_14771 x_14770
    147 | St_op2 (t', t1, t2, x_14778, x_14777, x_14776, x_14775, x_14774) ->
    148   h_St_op2 t' t1 t2 x_14778 x_14777 x_14776 x_14775 x_14774
    149 | St_load (x_14782, x_14781, x_14780, x_14779) ->
    150   h_St_load x_14782 x_14781 x_14780 x_14779
    151 | St_store (x_14786, x_14785, x_14784, x_14783) ->
    152   h_St_store x_14786 x_14785 x_14784 x_14783
    153 | St_call_id (x_14790, x_14789, x_14788, x_14787) ->
    154   h_St_call_id x_14790 x_14789 x_14788 x_14787
    155 | St_call_ptr (x_14794, x_14793, x_14792, x_14791) ->
    156   h_St_call_ptr x_14794 x_14793 x_14792 x_14791
    157 | St_cond (x_14797, x_14796, x_14795) -> h_St_cond x_14797 x_14796 x_14795
     141| St_skip x_9946 -> h_St_skip x_9946
     142| St_cost (x_9948, x_9947) -> h_St_cost x_9948 x_9947
     143| St_const (t, x_9951, x_9950, x_9949) -> h_St_const t x_9951 x_9950 x_9949
     144| St_op1 (t', t, x_9955, x_9954, x_9953, x_9952) ->
     145  h_St_op1 t' t x_9955 x_9954 x_9953 x_9952
     146| St_op2 (t', t1, t2, x_9960, x_9959, x_9958, x_9957, x_9956) ->
     147  h_St_op2 t' t1 t2 x_9960 x_9959 x_9958 x_9957 x_9956
     148| St_load (x_9964, x_9963, x_9962, x_9961) ->
     149  h_St_load x_9964 x_9963 x_9962 x_9961
     150| St_store (x_9968, x_9967, x_9966, x_9965) ->
     151  h_St_store x_9968 x_9967 x_9966 x_9965
     152| St_call_id (x_9972, x_9971, x_9970, x_9969) ->
     153  h_St_call_id x_9972 x_9971 x_9970 x_9969
     154| St_call_ptr (x_9976, x_9975, x_9974, x_9973) ->
     155  h_St_call_ptr x_9976 x_9975 x_9974 x_9973
     156| St_cond (x_9979, x_9978, x_9977) -> h_St_cond x_9979 x_9978 x_9977
    158157| St_return -> h_St_return
    159158
     
    174173    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    175174let 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
    176 | St_skip x_14810 -> h_St_skip x_14810
    177 | St_cost (x_14812, x_14811) -> h_St_cost x_14812 x_14811
    178 | St_const (t, x_14815, x_14814, x_14813) ->
    179   h_St_const t x_14815 x_14814 x_14813
    180 | St_op1 (t', t, x_14819, x_14818, x_14817, x_14816) ->
    181   h_St_op1 t' t x_14819 x_14818 x_14817 x_14816
    182 | St_op2 (t', t1, t2, x_14824, x_14823, x_14822, x_14821, x_14820) ->
    183   h_St_op2 t' t1 t2 x_14824 x_14823 x_14822 x_14821 x_14820
    184 | St_load (x_14828, x_14827, x_14826, x_14825) ->
    185   h_St_load x_14828 x_14827 x_14826 x_14825
    186 | St_store (x_14832, x_14831, x_14830, x_14829) ->
    187   h_St_store x_14832 x_14831 x_14830 x_14829
    188 | St_call_id (x_14836, x_14835, x_14834, x_14833) ->
    189   h_St_call_id x_14836 x_14835 x_14834 x_14833
    190 | St_call_ptr (x_14840, x_14839, x_14838, x_14837) ->
    191   h_St_call_ptr x_14840 x_14839 x_14838 x_14837
    192 | St_cond (x_14843, x_14842, x_14841) -> h_St_cond x_14843 x_14842 x_14841
     175| St_skip x_9992 -> h_St_skip x_9992
     176| St_cost (x_9994, x_9993) -> h_St_cost x_9994 x_9993
     177| St_const (t, x_9997, x_9996, x_9995) -> h_St_const t x_9997 x_9996 x_9995
     178| St_op1 (t', t, x_10001, x_10000, x_9999, x_9998) ->
     179  h_St_op1 t' t x_10001 x_10000 x_9999 x_9998
     180| St_op2 (t', t1, t2, x_10006, x_10005, x_10004, x_10003, x_10002) ->
     181  h_St_op2 t' t1 t2 x_10006 x_10005 x_10004 x_10003 x_10002
     182| St_load (x_10010, x_10009, x_10008, x_10007) ->
     183  h_St_load x_10010 x_10009 x_10008 x_10007
     184| St_store (x_10014, x_10013, x_10012, x_10011) ->
     185  h_St_store x_10014 x_10013 x_10012 x_10011
     186| St_call_id (x_10018, x_10017, x_10016, x_10015) ->
     187  h_St_call_id x_10018 x_10017 x_10016 x_10015
     188| St_call_ptr (x_10022, x_10021, x_10020, x_10019) ->
     189  h_St_call_ptr x_10022 x_10021 x_10020 x_10019
     190| St_cond (x_10025, x_10024, x_10023) -> h_St_cond x_10025 x_10024 x_10023
    193191| St_return -> h_St_return
    194192
     
    209207    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    210208let 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
    211 | St_skip x_14856 -> h_St_skip x_14856
    212 | St_cost (x_14858, x_14857) -> h_St_cost x_14858 x_14857
    213 | St_const (t, x_14861, x_14860, x_14859) ->
    214   h_St_const t x_14861 x_14860 x_14859
    215 | St_op1 (t', t, x_14865, x_14864, x_14863, x_14862) ->
    216   h_St_op1 t' t x_14865 x_14864 x_14863 x_14862
    217 | St_op2 (t', t1, t2, x_14870, x_14869, x_14868, x_14867, x_14866) ->
    218   h_St_op2 t' t1 t2 x_14870 x_14869 x_14868 x_14867 x_14866
    219 | St_load (x_14874, x_14873, x_14872, x_14871) ->
    220   h_St_load x_14874 x_14873 x_14872 x_14871
    221 | St_store (x_14878, x_14877, x_14876, x_14875) ->
    222   h_St_store x_14878 x_14877 x_14876 x_14875
    223 | St_call_id (x_14882, x_14881, x_14880, x_14879) ->
    224   h_St_call_id x_14882 x_14881 x_14880 x_14879
    225 | St_call_ptr (x_14886, x_14885, x_14884, x_14883) ->
    226   h_St_call_ptr x_14886 x_14885 x_14884 x_14883
    227 | St_cond (x_14889, x_14888, x_14887) -> h_St_cond x_14889 x_14888 x_14887
     209| St_skip x_10038 -> h_St_skip x_10038
     210| St_cost (x_10040, x_10039) -> h_St_cost x_10040 x_10039
     211| St_const (t, x_10043, x_10042, x_10041) ->
     212  h_St_const t x_10043 x_10042 x_10041
     213| St_op1 (t', t, x_10047, x_10046, x_10045, x_10044) ->
     214  h_St_op1 t' t x_10047 x_10046 x_10045 x_10044
     215| St_op2 (t', t1, t2, x_10052, x_10051, x_10050, x_10049, x_10048) ->
     216  h_St_op2 t' t1 t2 x_10052 x_10051 x_10050 x_10049 x_10048
     217| St_load (x_10056, x_10055, x_10054, x_10053) ->
     218  h_St_load x_10056 x_10055 x_10054 x_10053
     219| St_store (x_10060, x_10059, x_10058, x_10057) ->
     220  h_St_store x_10060 x_10059 x_10058 x_10057
     221| St_call_id (x_10064, x_10063, x_10062, x_10061) ->
     222  h_St_call_id x_10064 x_10063 x_10062 x_10061
     223| St_call_ptr (x_10068, x_10067, x_10066, x_10065) ->
     224  h_St_call_ptr x_10068 x_10067 x_10066 x_10065
     225| St_cond (x_10071, x_10070, x_10069) -> h_St_cond x_10071 x_10070 x_10069
    228226| St_return -> h_St_return
    229227
     
    244242    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    245243let 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
    246 | St_skip x_14902 -> h_St_skip x_14902
    247 | St_cost (x_14904, x_14903) -> h_St_cost x_14904 x_14903
    248 | St_const (t, x_14907, x_14906, x_14905) ->
    249   h_St_const t x_14907 x_14906 x_14905
    250 | St_op1 (t', t, x_14911, x_14910, x_14909, x_14908) ->
    251   h_St_op1 t' t x_14911 x_14910 x_14909 x_14908
    252 | St_op2 (t', t1, t2, x_14916, x_14915, x_14914, x_14913, x_14912) ->
    253   h_St_op2 t' t1 t2 x_14916 x_14915 x_14914 x_14913 x_14912
    254 | St_load (x_14920, x_14919, x_14918, x_14917) ->
    255   h_St_load x_14920 x_14919 x_14918 x_14917
    256 | St_store (x_14924, x_14923, x_14922, x_14921) ->
    257   h_St_store x_14924 x_14923 x_14922 x_14921
    258 | St_call_id (x_14928, x_14927, x_14926, x_14925) ->
    259   h_St_call_id x_14928 x_14927 x_14926 x_14925
    260 | St_call_ptr (x_14932, x_14931, x_14930, x_14929) ->
    261   h_St_call_ptr x_14932 x_14931 x_14930 x_14929
    262 | St_cond (x_14935, x_14934, x_14933) -> h_St_cond x_14935 x_14934 x_14933
     244| St_skip x_10084 -> h_St_skip x_10084
     245| St_cost (x_10086, x_10085) -> h_St_cost x_10086 x_10085
     246| St_const (t, x_10089, x_10088, x_10087) ->
     247  h_St_const t x_10089 x_10088 x_10087
     248| St_op1 (t', t, x_10093, x_10092, x_10091, x_10090) ->
     249  h_St_op1 t' t x_10093 x_10092 x_10091 x_10090
     250| St_op2 (t', t1, t2, x_10098, x_10097, x_10096, x_10095, x_10094) ->
     251  h_St_op2 t' t1 t2 x_10098 x_10097 x_10096 x_10095 x_10094
     252| St_load (x_10102, x_10101, x_10100, x_10099) ->
     253  h_St_load x_10102 x_10101 x_10100 x_10099
     254| St_store (x_10106, x_10105, x_10104, x_10103) ->
     255  h_St_store x_10106 x_10105 x_10104 x_10103
     256| St_call_id (x_10110, x_10109, x_10108, x_10107) ->
     257  h_St_call_id x_10110 x_10109 x_10108 x_10107
     258| St_call_ptr (x_10114, x_10113, x_10112, x_10111) ->
     259  h_St_call_ptr x_10114 x_10113 x_10112 x_10111
     260| St_cond (x_10117, x_10116, x_10115) -> h_St_cond x_10117 x_10116 x_10115
    263261| St_return -> h_St_return
    264262
     
    279277    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    280278let 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
    281 | St_skip x_14948 -> h_St_skip x_14948
    282 | St_cost (x_14950, x_14949) -> h_St_cost x_14950 x_14949
    283 | St_const (t, x_14953, x_14952, x_14951) ->
    284   h_St_const t x_14953 x_14952 x_14951
    285 | St_op1 (t', t, x_14957, x_14956, x_14955, x_14954) ->
    286   h_St_op1 t' t x_14957 x_14956 x_14955 x_14954
    287 | St_op2 (t', t1, t2, x_14962, x_14961, x_14960, x_14959, x_14958) ->
    288   h_St_op2 t' t1 t2 x_14962 x_14961 x_14960 x_14959 x_14958
    289 | St_load (x_14966, x_14965, x_14964, x_14963) ->
    290   h_St_load x_14966 x_14965 x_14964 x_14963
    291 | St_store (x_14970, x_14969, x_14968, x_14967) ->
    292   h_St_store x_14970 x_14969 x_14968 x_14967
    293 | St_call_id (x_14974, x_14973, x_14972, x_14971) ->
    294   h_St_call_id x_14974 x_14973 x_14972 x_14971
    295 | St_call_ptr (x_14978, x_14977, x_14976, x_14975) ->
    296   h_St_call_ptr x_14978 x_14977 x_14976 x_14975
    297 | St_cond (x_14981, x_14980, x_14979) -> h_St_cond x_14981 x_14980 x_14979
     279| St_skip x_10130 -> h_St_skip x_10130
     280| St_cost (x_10132, x_10131) -> h_St_cost x_10132 x_10131
     281| St_const (t, x_10135, x_10134, x_10133) ->
     282  h_St_const t x_10135 x_10134 x_10133
     283| St_op1 (t', t, x_10139, x_10138, x_10137, x_10136) ->
     284  h_St_op1 t' t x_10139 x_10138 x_10137 x_10136
     285| St_op2 (t', t1, t2, x_10144, x_10143, x_10142, x_10141, x_10140) ->
     286  h_St_op2 t' t1 t2 x_10144 x_10143 x_10142 x_10141 x_10140
     287| St_load (x_10148, x_10147, x_10146, x_10145) ->
     288  h_St_load x_10148 x_10147 x_10146 x_10145
     289| St_store (x_10152, x_10151, x_10150, x_10149) ->
     290  h_St_store x_10152 x_10151 x_10150 x_10149
     291| St_call_id (x_10156, x_10155, x_10154, x_10153) ->
     292  h_St_call_id x_10156 x_10155 x_10154 x_10153
     293| St_call_ptr (x_10160, x_10159, x_10158, x_10157) ->
     294  h_St_call_ptr x_10160 x_10159 x_10158 x_10157
     295| St_cond (x_10163, x_10162, x_10161) -> h_St_cond x_10163 x_10162 x_10161
    298296| St_return -> h_St_return
    299297
     
    314312    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    315313let 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
    316 | St_skip x_14994 -> h_St_skip x_14994
    317 | St_cost (x_14996, x_14995) -> h_St_cost x_14996 x_14995
    318 | St_const (t, x_14999, x_14998, x_14997) ->
    319   h_St_const t x_14999 x_14998 x_14997
    320 | St_op1 (t', t, x_15003, x_15002, x_15001, x_15000) ->
    321   h_St_op1 t' t x_15003 x_15002 x_15001 x_15000
    322 | St_op2 (t', t1, t2, x_15008, x_15007, x_15006, x_15005, x_15004) ->
    323   h_St_op2 t' t1 t2 x_15008 x_15007 x_15006 x_15005 x_15004
    324 | St_load (x_15012, x_15011, x_15010, x_15009) ->
    325   h_St_load x_15012 x_15011 x_15010 x_15009
    326 | St_store (x_15016, x_15015, x_15014, x_15013) ->
    327   h_St_store x_15016 x_15015 x_15014 x_15013
    328 | St_call_id (x_15020, x_15019, x_15018, x_15017) ->
    329   h_St_call_id x_15020 x_15019 x_15018 x_15017
    330 | St_call_ptr (x_15024, x_15023, x_15022, x_15021) ->
    331   h_St_call_ptr x_15024 x_15023 x_15022 x_15021
    332 | St_cond (x_15027, x_15026, x_15025) -> h_St_cond x_15027 x_15026 x_15025
     314| St_skip x_10176 -> h_St_skip x_10176
     315| St_cost (x_10178, x_10177) -> h_St_cost x_10178 x_10177
     316| St_const (t, x_10181, x_10180, x_10179) ->
     317  h_St_const t x_10181 x_10180 x_10179
     318| St_op1 (t', t, x_10185, x_10184, x_10183, x_10182) ->
     319  h_St_op1 t' t x_10185 x_10184 x_10183 x_10182
     320| St_op2 (t', t1, t2, x_10190, x_10189, x_10188, x_10187, x_10186) ->
     321  h_St_op2 t' t1 t2 x_10190 x_10189 x_10188 x_10187 x_10186
     322| St_load (x_10194, x_10193, x_10192, x_10191) ->
     323  h_St_load x_10194 x_10193 x_10192 x_10191
     324| St_store (x_10198, x_10197, x_10196, x_10195) ->
     325  h_St_store x_10198 x_10197 x_10196 x_10195
     326| St_call_id (x_10202, x_10201, x_10200, x_10199) ->
     327  h_St_call_id x_10202 x_10201 x_10200 x_10199
     328| St_call_ptr (x_10206, x_10205, x_10204, x_10203) ->
     329  h_St_call_ptr x_10206 x_10205 x_10204 x_10203
     330| St_cond (x_10209, x_10208, x_10207) -> h_St_cond x_10209 x_10208 x_10207
    333331| St_return -> h_St_return
    334332
     
    466464    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    467465    internal_function -> 'a1 **)
    468 let rec internal_function_rect_Type4 h_mk_internal_function x_15317 =
     466let rec internal_function_rect_Type4 h_mk_internal_function x_10499 =
    469467  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    470468    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    471     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15317
     469    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_10499
    472470  in
    473471  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    481479    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    482480    internal_function -> 'a1 **)
    483 let rec internal_function_rect_Type5 h_mk_internal_function x_15319 =
     481let rec internal_function_rect_Type5 h_mk_internal_function x_10501 =
    484482  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    485483    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    486     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15319
     484    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_10501
    487485  in
    488486  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    496494    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    497495    internal_function -> 'a1 **)
    498 let rec internal_function_rect_Type3 h_mk_internal_function x_15321 =
     496let rec internal_function_rect_Type3 h_mk_internal_function x_10503 =
    499497  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    500498    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    501     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15321
     499    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_10503
    502500  in
    503501  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    511509    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    512510    internal_function -> 'a1 **)
    513 let rec internal_function_rect_Type2 h_mk_internal_function x_15323 =
     511let rec internal_function_rect_Type2 h_mk_internal_function x_10505 =
    514512  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    515513    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    516     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15323
     514    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_10505
    517515  in
    518516  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    526524    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    527525    internal_function -> 'a1 **)
    528 let rec internal_function_rect_Type1 h_mk_internal_function x_15325 =
     526let rec internal_function_rect_Type1 h_mk_internal_function x_10507 =
    529527  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    530528    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    531     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15325
     529    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_10507
    532530  in
    533531  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    541539    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    542540    internal_function -> 'a1 **)
    543 let rec internal_function_rect_Type0 h_mk_internal_function x_15327 =
     541let rec internal_function_rect_Type0 h_mk_internal_function x_10509 =
    544542  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    545543    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    546     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15327
     544    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_10509
    547545  in
    548546  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
Note: See TracChangeset for help on using the changeset viewer.