Changeset 2951 for extracted/globalenvs.ml
 Timestamp:
 Mar 25, 2013, 11:30:01 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/globalenvs.ml
r2827 r2951 98 98 ('a1 PositiveMap.positive_map > Positive.pos > Pointers.block 99 99 Identifiers.identifier_map > __ > 'a2) > 'a1 genv_t > 'a2 **) 100 let rec genv_t_rect_Type4 h_mk_genv_t x_6 569=100 let rec genv_t_rect_Type4 h_mk_genv_t x_6608 = 101 101 let { functions = functions0; nextfunction = nextfunction0; symbols = 102 symbols0 } = x_6 569102 symbols0 } = x_6608 103 103 in 104 104 h_mk_genv_t functions0 nextfunction0 symbols0 __ … … 107 107 ('a1 PositiveMap.positive_map > Positive.pos > Pointers.block 108 108 Identifiers.identifier_map > __ > 'a2) > 'a1 genv_t > 'a2 **) 109 let rec genv_t_rect_Type5 h_mk_genv_t x_6 571=109 let rec genv_t_rect_Type5 h_mk_genv_t x_6610 = 110 110 let { functions = functions0; nextfunction = nextfunction0; symbols = 111 symbols0 } = x_6 571111 symbols0 } = x_6610 112 112 in 113 113 h_mk_genv_t functions0 nextfunction0 symbols0 __ … … 116 116 ('a1 PositiveMap.positive_map > Positive.pos > Pointers.block 117 117 Identifiers.identifier_map > __ > 'a2) > 'a1 genv_t > 'a2 **) 118 let rec genv_t_rect_Type3 h_mk_genv_t x_6 573=118 let rec genv_t_rect_Type3 h_mk_genv_t x_6612 = 119 119 let { functions = functions0; nextfunction = nextfunction0; symbols = 120 symbols0 } = x_6 573120 symbols0 } = x_6612 121 121 in 122 122 h_mk_genv_t functions0 nextfunction0 symbols0 __ … … 125 125 ('a1 PositiveMap.positive_map > Positive.pos > Pointers.block 126 126 Identifiers.identifier_map > __ > 'a2) > 'a1 genv_t > 'a2 **) 127 let rec genv_t_rect_Type2 h_mk_genv_t x_6 575=127 let rec genv_t_rect_Type2 h_mk_genv_t x_6614 = 128 128 let { functions = functions0; nextfunction = nextfunction0; symbols = 129 symbols0 } = x_6 575129 symbols0 } = x_6614 130 130 in 131 131 h_mk_genv_t functions0 nextfunction0 symbols0 __ … … 134 134 ('a1 PositiveMap.positive_map > Positive.pos > Pointers.block 135 135 Identifiers.identifier_map > __ > 'a2) > 'a1 genv_t > 'a2 **) 136 let rec genv_t_rect_Type1 h_mk_genv_t x_6 577=136 let rec genv_t_rect_Type1 h_mk_genv_t x_6616 = 137 137 let { functions = functions0; nextfunction = nextfunction0; symbols = 138 symbols0 } = x_6 577138 symbols0 } = x_6616 139 139 in 140 140 h_mk_genv_t functions0 nextfunction0 symbols0 __ … … 143 143 ('a1 PositiveMap.positive_map > Positive.pos > Pointers.block 144 144 Identifiers.identifier_map > __ > 'a2) > 'a1 genv_t > 'a2 **) 145 let rec genv_t_rect_Type0 h_mk_genv_t x_6 579=145 let rec genv_t_rect_Type0 h_mk_genv_t x_6618 = 146 146 let { functions = functions0; nextfunction = nextfunction0; symbols = 147 symbols0 } = x_6 579147 symbols0 } = x_6618 148 148 in 149 149 h_mk_genv_t functions0 nextfunction0 symbols0 __
Note: See TracChangeset
for help on using the changeset viewer.