Changeset 2773 for extracted/registerSet.ml
 Timestamp:
 Mar 4, 2013, 10:03:33 AM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/registerSet.ml
r2743 r2773 3 3 open Exp 4 4 5 open Setoids 6 7 open Monad 8 9 open Option 10 5 11 open Extranat 6 12 … … 56 62 57 63 open Extralib 58 59 open Setoids60 61 open Monad62 63 open Option64 64 65 65 open Lists … … 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_ 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_ 2085589 let rec register_set_rect_Type4 h_mk_register_set x_16165 = 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_16165 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_ 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_ 20857104 let rec register_set_rect_Type5 h_mk_register_set x_16167 = 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_16167 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_ 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_ 20859119 let rec register_set_rect_Type3 h_mk_register_set x_16169 = 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_16169 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_ 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_ 20861134 let rec register_set_rect_Type2 h_mk_register_set x_16171 = 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_16171 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_ 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_ 20863149 let rec register_set_rect_Type1 h_mk_register_set x_16173 = 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_16173 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_ 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_ 20865164 let rec register_set_rect_Type0 h_mk_register_set x_16175 = 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_16175 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_ 20889 x_20890 x_20891 =185 let rec rs_fold0 xxx x_16199 x_16200 x_16201 = 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_ 20889 x_20890 x_20891190 Obj.magic yyy) __ x_16199 x_16200 x_16201 191 191 192 192 (** val rs_insert : register_set > I8051.register > __ > __ **)
Note: See TracChangeset
for help on using the changeset viewer.