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/registerSet.ml

    r2717 r2730  
    8787    -> I8051.register List.list) -> (I8051.register List.list -> __) -> 'a1)
    8888    -> register_set -> 'a1 **)
    89 let rec register_set_rect_Type4 h_mk_register_set x_17775 =
    90   let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
    91     rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
    92     rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
    93     rs_from_list = rs_from_list0 } = x_17775
     89let rec register_set_rect_Type4 h_mk_register_set x_629 =
     90  let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
     91    rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
     92    rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
     93    rs_from_list = rs_from_list0 } = x_629
    9494  in
    9595  h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0
     
    102102    -> I8051.register List.list) -> (I8051.register List.list -> __) -> 'a1)
    103103    -> register_set -> 'a1 **)
    104 let rec register_set_rect_Type5 h_mk_register_set x_17777 =
    105   let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
    106     rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
    107     rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
    108     rs_from_list = rs_from_list0 } = x_17777
     104let rec register_set_rect_Type5 h_mk_register_set x_631 =
     105  let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
     106    rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
     107    rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
     108    rs_from_list = rs_from_list0 } = x_631
    109109  in
    110110  h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0
     
    117117    -> I8051.register List.list) -> (I8051.register List.list -> __) -> 'a1)
    118118    -> register_set -> 'a1 **)
    119 let rec register_set_rect_Type3 h_mk_register_set x_17779 =
    120   let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
    121     rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
    122     rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
    123     rs_from_list = rs_from_list0 } = x_17779
     119let rec register_set_rect_Type3 h_mk_register_set x_633 =
     120  let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
     121    rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
     122    rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
     123    rs_from_list = rs_from_list0 } = x_633
    124124  in
    125125  h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0
     
    132132    -> I8051.register List.list) -> (I8051.register List.list -> __) -> 'a1)
    133133    -> register_set -> 'a1 **)
    134 let rec register_set_rect_Type2 h_mk_register_set x_17781 =
    135   let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
    136     rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
    137     rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
    138     rs_from_list = rs_from_list0 } = x_17781
     134let rec register_set_rect_Type2 h_mk_register_set x_635 =
     135  let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
     136    rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
     137    rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
     138    rs_from_list = rs_from_list0 } = x_635
    139139  in
    140140  h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0
     
    147147    -> I8051.register List.list) -> (I8051.register List.list -> __) -> 'a1)
    148148    -> register_set -> 'a1 **)
    149 let rec register_set_rect_Type1 h_mk_register_set x_17783 =
    150   let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
    151     rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
    152     rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
    153     rs_from_list = rs_from_list0 } = x_17783
     149let rec register_set_rect_Type1 h_mk_register_set x_637 =
     150  let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
     151    rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
     152    rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
     153    rs_from_list = rs_from_list0 } = x_637
    154154  in
    155155  h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0
     
    162162    -> I8051.register List.list) -> (I8051.register List.list -> __) -> 'a1)
    163163    -> register_set -> 'a1 **)
    164 let rec register_set_rect_Type0 h_mk_register_set x_17785 =
    165   let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
    166     rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
    167     rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
    168     rs_from_list = rs_from_list0 } = x_17785
     164let rec register_set_rect_Type0 h_mk_register_set x_639 =
     165  let { rs_empty = rs_empty0; rs_singleton = rs_singleton0; rs_fold =
     166    rs_fold0; rs_insert = rs_insert0; rs_exists = rs_exists0; rs_union =
     167    rs_union0; rs_subset = rs_subset0; rs_to_list = rs_to_list0;
     168    rs_from_list = rs_from_list0 } = x_639
    169169  in
    170170  h_mk_register_set __ rs_empty0 rs_singleton0 rs_fold0 rs_insert0 rs_exists0
     
    183183(** val rs_fold0 :
    184184    register_set -> (I8051.register -> 'a1 -> 'a1) -> __ -> 'a1 -> 'a1 **)
    185 let rec rs_fold0 xxx x_17809 x_17810 x_17811 =
     185let rec rs_fold0 xxx x_663 x_664 x_665 =
    186186  (let { rs_empty = x0; rs_singleton = x1; rs_fold = yyy; rs_insert = x2;
    187187     rs_exists = x3; rs_union = x4; rs_subset = x5; rs_to_list = x6;
    188188     rs_from_list = x7 } = xxx
    189189   in
    190   Obj.magic yyy) __ x_17809 x_17810 x_17811
     190  Obj.magic yyy) __ x_663 x_664 x_665
    191191
    192192(** val rs_insert : register_set -> I8051.register -> __ -> __ **)
Note: See TracChangeset for help on using the changeset viewer.