Changeset 2730 for extracted/eRTL.ml


Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (7 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTL.ml

    r2717 r2730  
    112112    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    113113let rec move_dst_rect_Type4 h_PSD h_HDW = function
    114 | PSD x_17821 -> h_PSD x_17821
    115 | HDW x_17822 -> h_HDW x_17822
     114| PSD x_147 -> h_PSD x_147
     115| HDW x_148 -> h_HDW x_148
    116116
    117117(** val move_dst_rect_Type5 :
    118118    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    119119let rec move_dst_rect_Type5 h_PSD h_HDW = function
    120 | PSD x_17826 -> h_PSD x_17826
    121 | HDW x_17827 -> h_HDW x_17827
     120| PSD x_152 -> h_PSD x_152
     121| HDW x_153 -> h_HDW x_153
    122122
    123123(** val move_dst_rect_Type3 :
    124124    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    125125let rec move_dst_rect_Type3 h_PSD h_HDW = function
    126 | PSD x_17831 -> h_PSD x_17831
    127 | HDW x_17832 -> h_HDW x_17832
     126| PSD x_157 -> h_PSD x_157
     127| HDW x_158 -> h_HDW x_158
    128128
    129129(** val move_dst_rect_Type2 :
    130130    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    131131let rec move_dst_rect_Type2 h_PSD h_HDW = function
    132 | PSD x_17836 -> h_PSD x_17836
    133 | HDW x_17837 -> h_HDW x_17837
     132| PSD x_162 -> h_PSD x_162
     133| HDW x_163 -> h_HDW x_163
    134134
    135135(** val move_dst_rect_Type1 :
    136136    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    137137let rec move_dst_rect_Type1 h_PSD h_HDW = function
    138 | PSD x_17841 -> h_PSD x_17841
    139 | HDW x_17842 -> h_HDW x_17842
     138| PSD x_167 -> h_PSD x_167
     139| HDW x_168 -> h_HDW x_168
    140140
    141141(** val move_dst_rect_Type0 :
    142142    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    143143let rec move_dst_rect_Type0 h_PSD h_HDW = function
    144 | PSD x_17846 -> h_PSD x_17846
    145 | HDW x_17847 -> h_HDW x_17847
     144| PSD x_172 -> h_PSD x_172
     145| HDW x_173 -> h_HDW x_173
    146146
    147147(** val move_dst_inv_rect_Type4 :
     
    210210| Ertl_new_frame -> h_ertl_new_frame
    211211| Ertl_del_frame -> h_ertl_del_frame
    212 | Ertl_frame_size x_17886 -> h_ertl_frame_size x_17886
     212| Ertl_frame_size x_212 -> h_ertl_frame_size x_212
    213213
    214214(** val ertl_seq_rect_Type5 :
     
    217217| Ertl_new_frame -> h_ertl_new_frame
    218218| Ertl_del_frame -> h_ertl_del_frame
    219 | Ertl_frame_size x_17891 -> h_ertl_frame_size x_17891
     219| Ertl_frame_size x_217 -> h_ertl_frame_size x_217
    220220
    221221(** val ertl_seq_rect_Type3 :
     
    224224| Ertl_new_frame -> h_ertl_new_frame
    225225| Ertl_del_frame -> h_ertl_del_frame
    226 | Ertl_frame_size x_17896 -> h_ertl_frame_size x_17896
     226| Ertl_frame_size x_222 -> h_ertl_frame_size x_222
    227227
    228228(** val ertl_seq_rect_Type2 :
     
    231231| Ertl_new_frame -> h_ertl_new_frame
    232232| Ertl_del_frame -> h_ertl_del_frame
    233 | Ertl_frame_size x_17901 -> h_ertl_frame_size x_17901
     233| Ertl_frame_size x_227 -> h_ertl_frame_size x_227
    234234
    235235(** val ertl_seq_rect_Type1 :
     
    238238| Ertl_new_frame -> h_ertl_new_frame
    239239| Ertl_del_frame -> h_ertl_del_frame
    240 | Ertl_frame_size x_17906 -> h_ertl_frame_size x_17906
     240| Ertl_frame_size x_232 -> h_ertl_frame_size x_232
    241241
    242242(** val ertl_seq_rect_Type0 :
     
    245245| Ertl_new_frame -> h_ertl_new_frame
    246246| Ertl_del_frame -> h_ertl_del_frame
    247 | Ertl_frame_size x_17911 -> h_ertl_frame_size x_17911
     247| Ertl_frame_size x_237 -> h_ertl_frame_size x_237
    248248
    249249(** val ertl_seq_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.