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

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTLptrToLTL.ml

    r2717 r2730  
    121121open Interference
    122122
    123 open Deqsets
     123open Deqsets_extra
    124124
    125125open State
     
    142142    arg_decision -> 'a1 **)
    143143let rec arg_decision_rect_Type4 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    144 | Arg_decision_colour x_18601 -> h_arg_decision_colour x_18601
    145 | Arg_decision_spill x_18602 -> h_arg_decision_spill x_18602
    146 | Arg_decision_imm x_18603 -> h_arg_decision_imm x_18603
     144| Arg_decision_colour x_492 -> h_arg_decision_colour x_492
     145| Arg_decision_spill x_493 -> h_arg_decision_spill x_493
     146| Arg_decision_imm x_494 -> h_arg_decision_imm x_494
    147147
    148148(** val arg_decision_rect_Type5 :
     
    150150    arg_decision -> 'a1 **)
    151151let rec arg_decision_rect_Type5 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    152 | Arg_decision_colour x_18608 -> h_arg_decision_colour x_18608
    153 | Arg_decision_spill x_18609 -> h_arg_decision_spill x_18609
    154 | Arg_decision_imm x_18610 -> h_arg_decision_imm x_18610
     152| Arg_decision_colour x_499 -> h_arg_decision_colour x_499
     153| Arg_decision_spill x_500 -> h_arg_decision_spill x_500
     154| Arg_decision_imm x_501 -> h_arg_decision_imm x_501
    155155
    156156(** val arg_decision_rect_Type3 :
     
    158158    arg_decision -> 'a1 **)
    159159let rec arg_decision_rect_Type3 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    160 | Arg_decision_colour x_18615 -> h_arg_decision_colour x_18615
    161 | Arg_decision_spill x_18616 -> h_arg_decision_spill x_18616
    162 | Arg_decision_imm x_18617 -> h_arg_decision_imm x_18617
     160| Arg_decision_colour x_506 -> h_arg_decision_colour x_506
     161| Arg_decision_spill x_507 -> h_arg_decision_spill x_507
     162| Arg_decision_imm x_508 -> h_arg_decision_imm x_508
    163163
    164164(** val arg_decision_rect_Type2 :
     
    166166    arg_decision -> 'a1 **)
    167167let rec arg_decision_rect_Type2 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    168 | Arg_decision_colour x_18622 -> h_arg_decision_colour x_18622
    169 | Arg_decision_spill x_18623 -> h_arg_decision_spill x_18623
    170 | Arg_decision_imm x_18624 -> h_arg_decision_imm x_18624
     168| Arg_decision_colour x_513 -> h_arg_decision_colour x_513
     169| Arg_decision_spill x_514 -> h_arg_decision_spill x_514
     170| Arg_decision_imm x_515 -> h_arg_decision_imm x_515
    171171
    172172(** val arg_decision_rect_Type1 :
     
    174174    arg_decision -> 'a1 **)
    175175let rec arg_decision_rect_Type1 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    176 | Arg_decision_colour x_18629 -> h_arg_decision_colour x_18629
    177 | Arg_decision_spill x_18630 -> h_arg_decision_spill x_18630
    178 | Arg_decision_imm x_18631 -> h_arg_decision_imm x_18631
     176| Arg_decision_colour x_520 -> h_arg_decision_colour x_520
     177| Arg_decision_spill x_521 -> h_arg_decision_spill x_521
     178| Arg_decision_imm x_522 -> h_arg_decision_imm x_522
    179179
    180180(** val arg_decision_rect_Type0 :
     
    182182    arg_decision -> 'a1 **)
    183183let rec arg_decision_rect_Type0 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    184 | Arg_decision_colour x_18636 -> h_arg_decision_colour x_18636
    185 | Arg_decision_spill x_18637 -> h_arg_decision_spill x_18637
    186 | Arg_decision_imm x_18638 -> h_arg_decision_imm x_18638
     184| Arg_decision_colour x_527 -> h_arg_decision_colour x_527
     185| Arg_decision_spill x_528 -> h_arg_decision_spill x_528
     186| Arg_decision_imm x_529 -> h_arg_decision_imm x_529
    187187
    188188(** val arg_decision_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.