Changeset 2743 for extracted/registerSet.ml
 Timestamp:
 Feb 27, 2013, 9:27:58 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/registerSet.ml
r2730 r2743 87 87 > I8051.register List.list) > (I8051.register List.list > __) > 'a1) 88 88 > register_set > 'a1 **) 89 let rec register_set_rect_Type4 h_mk_register_set x_ 629=90 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 91 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 92 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 93 rs_from_list = rs_from_list0 } = x_ 62989 let rec register_set_rect_Type4 h_mk_register_set x_20855 = 90 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 91 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 92 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 93 rs_from_list = rs_from_list0 } = x_20855 94 94 in 95 95 h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0 … … 102 102 > I8051.register List.list) > (I8051.register List.list > __) > 'a1) 103 103 > register_set > 'a1 **) 104 let rec register_set_rect_Type5 h_mk_register_set x_ 631=105 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 106 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 107 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 108 rs_from_list = rs_from_list0 } = x_ 631104 let rec register_set_rect_Type5 h_mk_register_set x_20857 = 105 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 106 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 107 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 108 rs_from_list = rs_from_list0 } = x_20857 109 109 in 110 110 h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0 … … 117 117 > I8051.register List.list) > (I8051.register List.list > __) > 'a1) 118 118 > register_set > 'a1 **) 119 let rec register_set_rect_Type3 h_mk_register_set x_ 633=120 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 121 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 122 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 123 rs_from_list = rs_from_list0 } = x_ 633119 let rec register_set_rect_Type3 h_mk_register_set x_20859 = 120 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 121 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 122 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 123 rs_from_list = rs_from_list0 } = x_20859 124 124 in 125 125 h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0 … … 132 132 > I8051.register List.list) > (I8051.register List.list > __) > 'a1) 133 133 > register_set > 'a1 **) 134 let rec register_set_rect_Type2 h_mk_register_set x_ 635=135 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 136 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 137 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 138 rs_from_list = rs_from_list0 } = x_ 635134 let rec register_set_rect_Type2 h_mk_register_set x_20861 = 135 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 136 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 137 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 138 rs_from_list = rs_from_list0 } = x_20861 139 139 in 140 140 h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0 … … 147 147 > I8051.register List.list) > (I8051.register List.list > __) > 'a1) 148 148 > register_set > 'a1 **) 149 let rec register_set_rect_Type1 h_mk_register_set x_ 637=150 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 151 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 152 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 153 rs_from_list = rs_from_list0 } = x_ 637149 let rec register_set_rect_Type1 h_mk_register_set x_20863 = 150 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 151 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 152 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 153 rs_from_list = rs_from_list0 } = x_20863 154 154 in 155 155 h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0 … … 162 162 > I8051.register List.list) > (I8051.register List.list > __) > 'a1) 163 163 > register_set > 'a1 **) 164 let rec register_set_rect_Type0 h_mk_register_set x_ 639=165 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 166 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 167 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 168 rs_from_list = rs_from_list0 } = x_ 639164 let rec register_set_rect_Type0 h_mk_register_set x_20865 = 165 let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold = 166 rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union = 167 rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0; 168 rs_from_list = rs_from_list0 } = x_20865 169 169 in 170 170 h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0 … … 183 183 (** val rs_fold0 : 184 184 register_set > (I8051.register > 'a1 > 'a1) > __ > 'a1 > 'a1 **) 185 let rec rs_fold0 xxx x_ 663 x_664 x_665=185 let rec rs_fold0 xxx x_20889 x_20890 x_20891 = 186 186 (let { rs_empty = x0; rs_singleton = x1; rs_fold = yyy; rs_insert = x2; 187 187 rs_exists = x3; rs_union = x4; rs_subset = x5; rs_to_list = x6; 188 188 rs_from_list = x7 } = xxx 189 189 in 190 Obj.magic yyy) __ x_ 663 x_664 x_665190 Obj.magic yyy) __ x_20889 x_20890 x_20891 191 191 192 192 (** val rs_insert : register_set > I8051.register > __ > __ **)
Note: See TracChangeset
for help on using the changeset viewer.