Changeset 2730 for extracted/status.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/status.ml

    r2717 r2730  
    8989    serialBufferType -> 'a1 **)
    9090let rec serialBufferType_rect_Type4 h_Eight h_Nine = function
    91 | Eight x_21058 -> h_Eight x_21058
    92 | Nine (x_21060, x_21059) -> h_Nine x_21060 x_21059
     91| Eight x_5042 -> h_Eight x_5042
     92| Nine (x_5044, x_5043) -> h_Nine x_5044 x_5043
    9393
    9494(** val serialBufferType_rect_Type5 :
     
    9696    serialBufferType -> 'a1 **)
    9797let rec serialBufferType_rect_Type5 h_Eight h_Nine = function
    98 | Eight x_21064 -> h_Eight x_21064
    99 | Nine (x_21066, x_21065) -> h_Nine x_21066 x_21065
     98| Eight x_5048 -> h_Eight x_5048
     99| Nine (x_5050, x_5049) -> h_Nine x_5050 x_5049
    100100
    101101(** val serialBufferType_rect_Type3 :
     
    103103    serialBufferType -> 'a1 **)
    104104let rec serialBufferType_rect_Type3 h_Eight h_Nine = function
    105 | Eight x_21070 -> h_Eight x_21070
    106 | Nine (x_21072, x_21071) -> h_Nine x_21072 x_21071
     105| Eight x_5054 -> h_Eight x_5054
     106| Nine (x_5056, x_5055) -> h_Nine x_5056 x_5055
    107107
    108108(** val serialBufferType_rect_Type2 :
     
    110110    serialBufferType -> 'a1 **)
    111111let rec serialBufferType_rect_Type2 h_Eight h_Nine = function
    112 | Eight x_21076 -> h_Eight x_21076
    113 | Nine (x_21078, x_21077) -> h_Nine x_21078 x_21077
     112| Eight x_5060 -> h_Eight x_5060
     113| Nine (x_5062, x_5061) -> h_Nine x_5062 x_5061
    114114
    115115(** val serialBufferType_rect_Type1 :
     
    117117    serialBufferType -> 'a1 **)
    118118let rec serialBufferType_rect_Type1 h_Eight h_Nine = function
    119 | Eight x_21082 -> h_Eight x_21082
    120 | Nine (x_21084, x_21083) -> h_Nine x_21084 x_21083
     119| Eight x_5066 -> h_Eight x_5066
     120| Nine (x_5068, x_5067) -> h_Nine x_5068 x_5067
    121121
    122122(** val serialBufferType_rect_Type0 :
     
    124124    serialBufferType -> 'a1 **)
    125125let rec serialBufferType_rect_Type0 h_Eight h_Nine = function
    126 | Eight x_21088 -> h_Eight x_21088
    127 | Nine (x_21090, x_21089) -> h_Nine x_21090 x_21089
     126| Eight x_5072 -> h_Eight x_5072
     127| Nine (x_5074, x_5073) -> h_Nine x_5074 x_5073
    128128
    129129(** val serialBufferType_inv_rect_Type4 :
     
    182182    -> 'a1) -> lineType -> 'a1 **)
    183183let rec lineType_rect_Type4 h_P1 h_P3 h_SerialBuffer = function
    184 | P2 x_21137 -> h_P1 x_21137
    185 | P3 x_21138 -> h_P3 x_21138
    186 | SerialBuffer x_21139 -> h_SerialBuffer x_21139
     184| P2 x_5121 -> h_P1 x_5121
     185| P3 x_5122 -> h_P3 x_5122
     186| SerialBuffer x_5123 -> h_SerialBuffer x_5123
    187187
    188188(** val lineType_rect_Type5 :
     
    190190    -> 'a1) -> lineType -> 'a1 **)
    191191let rec lineType_rect_Type5 h_P1 h_P3 h_SerialBuffer = function
    192 | P2 x_21144 -> h_P1 x_21144
    193 | P3 x_21145 -> h_P3 x_21145
    194 | SerialBuffer x_21146 -> h_SerialBuffer x_21146
     192| P2 x_5128 -> h_P1 x_5128
     193| P3 x_5129 -> h_P3 x_5129
     194| SerialBuffer x_5130 -> h_SerialBuffer x_5130
    195195
    196196(** val lineType_rect_Type3 :
     
    198198    -> 'a1) -> lineType -> 'a1 **)
    199199let rec lineType_rect_Type3 h_P1 h_P3 h_SerialBuffer = function
    200 | P2 x_21151 -> h_P1 x_21151
    201 | P3 x_21152 -> h_P3 x_21152
    202 | SerialBuffer x_21153 -> h_SerialBuffer x_21153
     200| P2 x_5135 -> h_P1 x_5135
     201| P3 x_5136 -> h_P3 x_5136
     202| SerialBuffer x_5137 -> h_SerialBuffer x_5137
    203203
    204204(** val lineType_rect_Type2 :
     
    206206    -> 'a1) -> lineType -> 'a1 **)
    207207let rec lineType_rect_Type2 h_P1 h_P3 h_SerialBuffer = function
    208 | P2 x_21158 -> h_P1 x_21158
    209 | P3 x_21159 -> h_P3 x_21159
    210 | SerialBuffer x_21160 -> h_SerialBuffer x_21160
     208| P2 x_5142 -> h_P1 x_5142
     209| P3 x_5143 -> h_P3 x_5143
     210| SerialBuffer x_5144 -> h_SerialBuffer x_5144
    211211
    212212(** val lineType_rect_Type1 :
     
    214214    -> 'a1) -> lineType -> 'a1 **)
    215215let rec lineType_rect_Type1 h_P1 h_P3 h_SerialBuffer = function
    216 | P2 x_21165 -> h_P1 x_21165
    217 | P3 x_21166 -> h_P3 x_21166
    218 | SerialBuffer x_21167 -> h_SerialBuffer x_21167
     216| P2 x_5149 -> h_P1 x_5149
     217| P3 x_5150 -> h_P3 x_5150
     218| SerialBuffer x_5151 -> h_SerialBuffer x_5151
    219219
    220220(** val lineType_rect_Type0 :
     
    222222    -> 'a1) -> lineType -> 'a1 **)
    223223let rec lineType_rect_Type0 h_P1 h_P3 h_SerialBuffer = function
    224 | P2 x_21172 -> h_P1 x_21172
    225 | P3 x_21173 -> h_P3 x_21173
    226 | SerialBuffer x_21174 -> h_SerialBuffer x_21174
     224| P2 x_5156 -> h_P1 x_5156
     225| P3 x_5157 -> h_P3 x_5157
     226| SerialBuffer x_5158 -> h_SerialBuffer x_5158
    227227
    228228(** val lineType_inv_rect_Type4 :
     
    731731    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    732732    preStatus -> 'a2 **)
    733 let rec preStatus_rect_Type4 code_memory h_mk_PreStatus x_21560 =
     733let rec preStatus_rect_Type4 code_memory h_mk_PreStatus x_5544 =
    734734  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    735735    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    737737    special_function_registers_8053; special_function_registers_8052 =
    738738    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    739     p3_latch0; clock = clock0 } = x_21560
     739    p3_latch0; clock = clock0 } = x_5544
    740740  in
    741741  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    749749    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    750750    preStatus -> 'a2 **)
    751 let rec preStatus_rect_Type5 code_memory h_mk_PreStatus x_21562 =
     751let rec preStatus_rect_Type5 code_memory h_mk_PreStatus x_5546 =
    752752  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    753753    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    755755    special_function_registers_8053; special_function_registers_8052 =
    756756    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    757     p3_latch0; clock = clock0 } = x_21562
     757    p3_latch0; clock = clock0 } = x_5546
    758758  in
    759759  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    767767    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    768768    preStatus -> 'a2 **)
    769 let rec preStatus_rect_Type3 code_memory h_mk_PreStatus x_21564 =
     769let rec preStatus_rect_Type3 code_memory h_mk_PreStatus x_5548 =
    770770  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    771771    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    773773    special_function_registers_8053; special_function_registers_8052 =
    774774    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    775     p3_latch0; clock = clock0 } = x_21564
     775    p3_latch0; clock = clock0 } = x_5548
    776776  in
    777777  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    785785    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    786786    preStatus -> 'a2 **)
    787 let rec preStatus_rect_Type2 code_memory h_mk_PreStatus x_21566 =
     787let rec preStatus_rect_Type2 code_memory h_mk_PreStatus x_5550 =
    788788  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    789789    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    791791    special_function_registers_8053; special_function_registers_8052 =
    792792    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    793     p3_latch0; clock = clock0 } = x_21566
     793    p3_latch0; clock = clock0 } = x_5550
    794794  in
    795795  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    803803    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    804804    preStatus -> 'a2 **)
    805 let rec preStatus_rect_Type1 code_memory h_mk_PreStatus x_21568 =
     805let rec preStatus_rect_Type1 code_memory h_mk_PreStatus x_5552 =
    806806  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    807807    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    809809    special_function_registers_8053; special_function_registers_8052 =
    810810    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    811     p3_latch0; clock = clock0 } = x_21568
     811    p3_latch0; clock = clock0 } = x_5552
    812812  in
    813813  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
     
    821821    Vector.vector -> BitVector.byte -> BitVector.byte -> time -> 'a2) -> 'a1
    822822    preStatus -> 'a2 **)
    823 let rec preStatus_rect_Type0 code_memory h_mk_PreStatus x_21570 =
     823let rec preStatus_rect_Type0 code_memory h_mk_PreStatus x_5554 =
    824824  let { low_internal_ram = low_internal_ram0; high_internal_ram =
    825825    high_internal_ram0; external_ram = external_ram0; program_counter =
     
    827827    special_function_registers_8053; special_function_registers_8052 =
    828828    special_function_registers_8054; p1_latch = p1_latch0; p3_latch =
    829     p3_latch0; clock = clock0 } = x_21570
     829    p3_latch0; clock = clock0 } = x_5554
    830830  in
    831831  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
Note: See TracChangeset for help on using the changeset viewer.