Changeset 2873 for extracted/eRTL.ml


Ignore:
Timestamp:
Mar 14, 2013, 10:37:39 PM (8 years ago)
Author:
sacerdot
Message:

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTL.ml

    r2867 r2873  
    112112    (Registers.register -> 'a1) -> (I8051.register -> 'a1) -> move_dst -> 'a1 **)
    113113let rec move_dst_rect_Type4 h_PSD h_HDW = function
    114 | PSD x_21247 -> h_PSD x_21247
    115 | HDW x_21248 -> h_HDW x_21248
     114| PSD x_21416 -> h_PSD x_21416
     115| HDW x_21417 -> h_HDW x_21417
    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_21252 -> h_PSD x_21252
    121 | HDW x_21253 -> h_HDW x_21253
     120| PSD x_21421 -> h_PSD x_21421
     121| HDW x_21422 -> h_HDW x_21422
    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_21257 -> h_PSD x_21257
    127 | HDW x_21258 -> h_HDW x_21258
     126| PSD x_21426 -> h_PSD x_21426
     127| HDW x_21427 -> h_HDW x_21427
    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_21262 -> h_PSD x_21262
    133 | HDW x_21263 -> h_HDW x_21263
     132| PSD x_21431 -> h_PSD x_21431
     133| HDW x_21432 -> h_HDW x_21432
    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_21267 -> h_PSD x_21267
    139 | HDW x_21268 -> h_HDW x_21268
     138| PSD x_21436 -> h_PSD x_21436
     139| HDW x_21437 -> h_HDW x_21437
    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_21272 -> h_PSD x_21272
    145 | HDW x_21273 -> h_HDW x_21273
     144| PSD x_21441 -> h_PSD x_21441
     145| HDW x_21442 -> h_HDW x_21442
    146146
    147147(** val move_dst_inv_rect_Type4 :
     
    338338| Ertl_new_frame -> h_ertl_new_frame
    339339| Ertl_del_frame -> h_ertl_del_frame
    340 | Ertl_frame_size x_21312 -> h_ertl_frame_size x_21312
     340| Ertl_frame_size x_21481 -> h_ertl_frame_size x_21481
    341341
    342342(** val ertl_seq_rect_Type5 :
     
    345345| Ertl_new_frame -> h_ertl_new_frame
    346346| Ertl_del_frame -> h_ertl_del_frame
    347 | Ertl_frame_size x_21317 -> h_ertl_frame_size x_21317
     347| Ertl_frame_size x_21486 -> h_ertl_frame_size x_21486
    348348
    349349(** val ertl_seq_rect_Type3 :
     
    352352| Ertl_new_frame -> h_ertl_new_frame
    353353| Ertl_del_frame -> h_ertl_del_frame
    354 | Ertl_frame_size x_21322 -> h_ertl_frame_size x_21322
     354| Ertl_frame_size x_21491 -> h_ertl_frame_size x_21491
    355355
    356356(** val ertl_seq_rect_Type2 :
     
    359359| Ertl_new_frame -> h_ertl_new_frame
    360360| Ertl_del_frame -> h_ertl_del_frame
    361 | Ertl_frame_size x_21327 -> h_ertl_frame_size x_21327
     361| Ertl_frame_size x_21496 -> h_ertl_frame_size x_21496
    362362
    363363(** val ertl_seq_rect_Type1 :
     
    366366| Ertl_new_frame -> h_ertl_new_frame
    367367| Ertl_del_frame -> h_ertl_del_frame
    368 | Ertl_frame_size x_21332 -> h_ertl_frame_size x_21332
     368| Ertl_frame_size x_21501 -> h_ertl_frame_size x_21501
    369369
    370370(** val ertl_seq_rect_Type0 :
     
    373373| Ertl_new_frame -> h_ertl_new_frame
    374374| Ertl_del_frame -> h_ertl_del_frame
    375 | Ertl_frame_size x_21337 -> h_ertl_frame_size x_21337
     375| Ertl_frame_size x_21506 -> h_ertl_frame_size x_21506
    376376
    377377(** val ertl_seq_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.