Changeset 2873 for extracted/status.ml


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

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/status.ml

    r2867 r2873  
    8989    serialBufferType -> 'a1 **)
    9090let rec serialBufferType_rect_Type4 h_Eight h_Nine = function
    91 | Eight x_24615 -> h_Eight x_24615
    92 | Nine (x_24617, x_24616) -> h_Nine x_24617 x_24616
     91| Eight x_24784 -> h_Eight x_24784
     92| Nine (x_24786, x_24785) -> h_Nine x_24786 x_24785
    9393
    9494(** val serialBufferType_rect_Type5 :
     
    9696    serialBufferType -> 'a1 **)
    9797let rec serialBufferType_rect_Type5 h_Eight h_Nine = function
    98 | Eight x_24621 -> h_Eight x_24621
    99 | Nine (x_24623, x_24622) -> h_Nine x_24623 x_24622
     98| Eight x_24790 -> h_Eight x_24790
     99| Nine (x_24792, x_24791) -> h_Nine x_24792 x_24791
    100100
    101101(** val serialBufferType_rect_Type3 :
     
    103103    serialBufferType -> 'a1 **)
    104104let rec serialBufferType_rect_Type3 h_Eight h_Nine = function
    105 | Eight x_24627 -> h_Eight x_24627
    106 | Nine (x_24629, x_24628) -> h_Nine x_24629 x_24628
     105| Eight x_24796 -> h_Eight x_24796
     106| Nine (x_24798, x_24797) -> h_Nine x_24798 x_24797
    107107
    108108(** val serialBufferType_rect_Type2 :
     
    110110    serialBufferType -> 'a1 **)
    111111let rec serialBufferType_rect_Type2 h_Eight h_Nine = function
    112 | Eight x_24633 -> h_Eight x_24633
    113 | Nine (x_24635, x_24634) -> h_Nine x_24635 x_24634
     112| Eight x_24802 -> h_Eight x_24802
     113| Nine (x_24804, x_24803) -> h_Nine x_24804 x_24803
    114114
    115115(** val serialBufferType_rect_Type1 :
     
    117117    serialBufferType -> 'a1 **)
    118118let rec serialBufferType_rect_Type1 h_Eight h_Nine = function
    119 | Eight x_24639 -> h_Eight x_24639
    120 | Nine (x_24641, x_24640) -> h_Nine x_24641 x_24640
     119| Eight x_24808 -> h_Eight x_24808
     120| Nine (x_24810, x_24809) -> h_Nine x_24810 x_24809
    121121
    122122(** val serialBufferType_rect_Type0 :
     
    124124    serialBufferType -> 'a1 **)
    125125let rec serialBufferType_rect_Type0 h_Eight h_Nine = function
    126 | Eight x_24645 -> h_Eight x_24645
    127 | Nine (x_24647, x_24646) -> h_Nine x_24647 x_24646
     126| Eight x_24814 -> h_Eight x_24814
     127| Nine (x_24816, x_24815) -> h_Nine x_24816 x_24815
    128128
    129129(** val serialBufferType_inv_rect_Type4 :
     
    182182    -> 'a1) -> lineType -> 'a1 **)
    183183let rec lineType_rect_Type4 h_P1 h_P3 h_SerialBuffer = function
    184 | P1 x_24694 -> h_P1 x_24694
    185 | P3 x_24695 -> h_P3 x_24695
    186 | SerialBuffer x_24696 -> h_SerialBuffer x_24696
     184| P1 x_24863 -> h_P1 x_24863
     185| P3 x_24864 -> h_P3 x_24864
     186| SerialBuffer x_24865 -> h_SerialBuffer x_24865
    187187
    188188(** val lineType_rect_Type5 :
     
    190190    -> 'a1) -> lineType -> 'a1 **)
    191191let rec lineType_rect_Type5 h_P1 h_P3 h_SerialBuffer = function
    192 | P1 x_24701 -> h_P1 x_24701
    193 | P3 x_24702 -> h_P3 x_24702
    194 | SerialBuffer x_24703 -> h_SerialBuffer x_24703
     192| P1 x_24870 -> h_P1 x_24870
     193| P3 x_24871 -> h_P3 x_24871
     194| SerialBuffer x_24872 -> h_SerialBuffer x_24872
    195195
    196196(** val lineType_rect_Type3 :
     
    198198    -> 'a1) -> lineType -> 'a1 **)
    199199let rec lineType_rect_Type3 h_P1 h_P3 h_SerialBuffer = function
    200 | P1 x_24708 -> h_P1 x_24708
    201 | P3 x_24709 -> h_P3 x_24709
    202 | SerialBuffer x_24710 -> h_SerialBuffer x_24710
     200| P1 x_24877 -> h_P1 x_24877
     201| P3 x_24878 -> h_P3 x_24878
     202| SerialBuffer x_24879 -> h_SerialBuffer x_24879
    203203
    204204(** val lineType_rect_Type2 :
     
    206206    -> 'a1) -> lineType -> 'a1 **)
    207207let rec lineType_rect_Type2 h_P1 h_P3 h_SerialBuffer = function
    208 | P1 x_24715 -> h_P1 x_24715
    209 | P3 x_24716 -> h_P3 x_24716
    210 | SerialBuffer x_24717 -> h_SerialBuffer x_24717
     208| P1 x_24884 -> h_P1 x_24884
     209| P3 x_24885 -> h_P3 x_24885
     210| SerialBuffer x_24886 -> h_SerialBuffer x_24886
    211211
    212212(** val lineType_rect_Type1 :
     
    214214    -> 'a1) -> lineType -> 'a1 **)
    215215let rec lineType_rect_Type1 h_P1 h_P3 h_SerialBuffer = function
    216 | P1 x_24722 -> h_P1 x_24722
    217 | P3 x_24723 -> h_P3 x_24723
    218 | SerialBuffer x_24724 -> h_SerialBuffer x_24724
     216| P1 x_24891 -> h_P1 x_24891
     217| P3 x_24892 -> h_P3 x_24892
     218| SerialBuffer x_24893 -> h_SerialBuffer x_24893
    219219
    220220(** val lineType_rect_Type0 :
     
    222222    -> 'a1) -> lineType -> 'a1 **)
    223223let rec lineType_rect_Type0 h_P1 h_P3 h_SerialBuffer = function
    224 | P1 x_24729 -> h_P1 x_24729
    225 | P3 x_24730 -> h_P3 x_24730
    226 | SerialBuffer x_24731 -> h_SerialBuffer x_24731
     224| P1 x_24898 -> h_P1 x_24898
     225| P3 x_24899 -> h_P3 x_24899
     226| SerialBuffer x_24900 -> h_SerialBuffer x_24900
    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_25117 =
     733let rec preStatus_rect_Type4 code_memory h_mk_PreStatus x_25286 =
    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_25117
     739    p3_latch0; clock = clock0 } = x_25286
    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_25119 =
     751let rec preStatus_rect_Type5 code_memory h_mk_PreStatus x_25288 =
    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_25119
     757    p3_latch0; clock = clock0 } = x_25288
    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_25121 =
     769let rec preStatus_rect_Type3 code_memory h_mk_PreStatus x_25290 =
    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_25121
     775    p3_latch0; clock = clock0 } = x_25290
    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_25123 =
     787let rec preStatus_rect_Type2 code_memory h_mk_PreStatus x_25292 =
    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_25123
     793    p3_latch0; clock = clock0 } = x_25292
    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_25125 =
     805let rec preStatus_rect_Type1 code_memory h_mk_PreStatus x_25294 =
    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_25125
     811    p3_latch0; clock = clock0 } = x_25294
    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_25127 =
     823let rec preStatus_rect_Type0 code_memory h_mk_PreStatus x_25296 =
    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_25127
     829    p3_latch0; clock = clock0 } = x_25296
    830830  in
    831831  h_mk_PreStatus low_internal_ram0 high_internal_ram0 external_ram0
Note: See TracChangeset for help on using the changeset viewer.