Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/measurable.ml

    r2951 r2997  
    114114    -> (__ -> StructuredTraces.status_class) -> (__ -> __ -> AST.ident) ->
    115115    'a1) -> classified_system -> 'a1 **)
    116 let rec classified_system_rect_Type4 h_mk_classified_system x_4562 =
     116let rec classified_system_rect_Type4 h_mk_classified_system x_18834 =
    117117  let { cs_exec = cs_exec0; cs_global = cs_global0; cs_labelled =
    118118    cs_labelled0; cs_classify = cs_classify0; cs_callee = cs_callee0 } =
    119     x_4562
     119    x_18834
    120120  in
    121121  h_mk_classified_system cs_exec0 cs_global0 cs_labelled0 cs_classify0
     
    126126    -> (__ -> StructuredTraces.status_class) -> (__ -> __ -> AST.ident) ->
    127127    'a1) -> classified_system -> 'a1 **)
    128 let rec classified_system_rect_Type5 h_mk_classified_system x_4564 =
     128let rec classified_system_rect_Type5 h_mk_classified_system x_18836 =
    129129  let { cs_exec = cs_exec0; cs_global = cs_global0; cs_labelled =
    130130    cs_labelled0; cs_classify = cs_classify0; cs_callee = cs_callee0 } =
    131     x_4564
     131    x_18836
    132132  in
    133133  h_mk_classified_system cs_exec0 cs_global0 cs_labelled0 cs_classify0
     
    138138    -> (__ -> StructuredTraces.status_class) -> (__ -> __ -> AST.ident) ->
    139139    'a1) -> classified_system -> 'a1 **)
    140 let rec classified_system_rect_Type3 h_mk_classified_system x_4566 =
     140let rec classified_system_rect_Type3 h_mk_classified_system x_18838 =
    141141  let { cs_exec = cs_exec0; cs_global = cs_global0; cs_labelled =
    142142    cs_labelled0; cs_classify = cs_classify0; cs_callee = cs_callee0 } =
    143     x_4566
     143    x_18838
    144144  in
    145145  h_mk_classified_system cs_exec0 cs_global0 cs_labelled0 cs_classify0
     
    150150    -> (__ -> StructuredTraces.status_class) -> (__ -> __ -> AST.ident) ->
    151151    'a1) -> classified_system -> 'a1 **)
    152 let rec classified_system_rect_Type2 h_mk_classified_system x_4568 =
     152let rec classified_system_rect_Type2 h_mk_classified_system x_18840 =
    153153  let { cs_exec = cs_exec0; cs_global = cs_global0; cs_labelled =
    154154    cs_labelled0; cs_classify = cs_classify0; cs_callee = cs_callee0 } =
    155     x_4568
     155    x_18840
    156156  in
    157157  h_mk_classified_system cs_exec0 cs_global0 cs_labelled0 cs_classify0
     
    162162    -> (__ -> StructuredTraces.status_class) -> (__ -> __ -> AST.ident) ->
    163163    'a1) -> classified_system -> 'a1 **)
    164 let rec classified_system_rect_Type1 h_mk_classified_system x_4570 =
     164let rec classified_system_rect_Type1 h_mk_classified_system x_18842 =
    165165  let { cs_exec = cs_exec0; cs_global = cs_global0; cs_labelled =
    166166    cs_labelled0; cs_classify = cs_classify0; cs_callee = cs_callee0 } =
    167     x_4570
     167    x_18842
    168168  in
    169169  h_mk_classified_system cs_exec0 cs_global0 cs_labelled0 cs_classify0
     
    174174    -> (__ -> StructuredTraces.status_class) -> (__ -> __ -> AST.ident) ->
    175175    'a1) -> classified_system -> 'a1 **)
    176 let rec classified_system_rect_Type0 h_mk_classified_system x_4572 =
     176let rec classified_system_rect_Type0 h_mk_classified_system x_18844 =
    177177  let { cs_exec = cs_exec0; cs_global = cs_global0; cs_labelled =
    178178    cs_labelled0; cs_classify = cs_classify0; cs_callee = cs_callee0 } =
    179     x_4572
     179    x_18844
    180180  in
    181181  h_mk_classified_system cs_exec0 cs_global0 cs_labelled0 cs_classify0
     
    353353    -> (__ -> __ -> StructuredTraces.status_class) -> (__ -> __ -> __ ->
    354354    AST.ident) -> 'a1) -> preclassified_system -> 'a1 **)
    355 let rec preclassified_system_rect_Type4 h_mk_preclassified_system x_4592 =
     355let rec preclassified_system_rect_Type4 h_mk_preclassified_system x_18864 =
    356356  let { pcs_exec = pcs_exec0; pcs_labelled = pcs_labelled0; pcs_classify =
    357     pcs_classify0; pcs_callee = pcs_callee0 } = x_4592
     357    pcs_classify0; pcs_callee = pcs_callee0 } = x_18864
    358358  in
    359359  h_mk_preclassified_system pcs_exec0 pcs_labelled0 pcs_classify0 pcs_callee0
     
    363363    -> (__ -> __ -> StructuredTraces.status_class) -> (__ -> __ -> __ ->
    364364    AST.ident) -> 'a1) -> preclassified_system -> 'a1 **)
    365 let rec preclassified_system_rect_Type5 h_mk_preclassified_system x_4594 =
     365let rec preclassified_system_rect_Type5 h_mk_preclassified_system x_18866 =
    366366  let { pcs_exec = pcs_exec0; pcs_labelled = pcs_labelled0; pcs_classify =
    367     pcs_classify0; pcs_callee = pcs_callee0 } = x_4594
     367    pcs_classify0; pcs_callee = pcs_callee0 } = x_18866
    368368  in
    369369  h_mk_preclassified_system pcs_exec0 pcs_labelled0 pcs_classify0 pcs_callee0
     
    373373    -> (__ -> __ -> StructuredTraces.status_class) -> (__ -> __ -> __ ->
    374374    AST.ident) -> 'a1) -> preclassified_system -> 'a1 **)
    375 let rec preclassified_system_rect_Type3 h_mk_preclassified_system x_4596 =
     375let rec preclassified_system_rect_Type3 h_mk_preclassified_system x_18868 =
    376376  let { pcs_exec = pcs_exec0; pcs_labelled = pcs_labelled0; pcs_classify =
    377     pcs_classify0; pcs_callee = pcs_callee0 } = x_4596
     377    pcs_classify0; pcs_callee = pcs_callee0 } = x_18868
    378378  in
    379379  h_mk_preclassified_system pcs_exec0 pcs_labelled0 pcs_classify0 pcs_callee0
     
    383383    -> (__ -> __ -> StructuredTraces.status_class) -> (__ -> __ -> __ ->
    384384    AST.ident) -> 'a1) -> preclassified_system -> 'a1 **)
    385 let rec preclassified_system_rect_Type2 h_mk_preclassified_system x_4598 =
     385let rec preclassified_system_rect_Type2 h_mk_preclassified_system x_18870 =
    386386  let { pcs_exec = pcs_exec0; pcs_labelled = pcs_labelled0; pcs_classify =
    387     pcs_classify0; pcs_callee = pcs_callee0 } = x_4598
     387    pcs_classify0; pcs_callee = pcs_callee0 } = x_18870
    388388  in
    389389  h_mk_preclassified_system pcs_exec0 pcs_labelled0 pcs_classify0 pcs_callee0
     
    393393    -> (__ -> __ -> StructuredTraces.status_class) -> (__ -> __ -> __ ->
    394394    AST.ident) -> 'a1) -> preclassified_system -> 'a1 **)
    395 let rec preclassified_system_rect_Type1 h_mk_preclassified_system x_4600 =
     395let rec preclassified_system_rect_Type1 h_mk_preclassified_system x_18872 =
    396396  let { pcs_exec = pcs_exec0; pcs_labelled = pcs_labelled0; pcs_classify =
    397     pcs_classify0; pcs_callee = pcs_callee0 } = x_4600
     397    pcs_classify0; pcs_callee = pcs_callee0 } = x_18872
    398398  in
    399399  h_mk_preclassified_system pcs_exec0 pcs_labelled0 pcs_classify0 pcs_callee0
     
    403403    -> (__ -> __ -> StructuredTraces.status_class) -> (__ -> __ -> __ ->
    404404    AST.ident) -> 'a1) -> preclassified_system -> 'a1 **)
    405 let rec preclassified_system_rect_Type0 h_mk_preclassified_system x_4602 =
     405let rec preclassified_system_rect_Type0 h_mk_preclassified_system x_18874 =
    406406  let { pcs_exec = pcs_exec0; pcs_labelled = pcs_labelled0; pcs_classify =
    407     pcs_classify0; pcs_callee = pcs_callee0 } = x_4602
     407    pcs_classify0; pcs_callee = pcs_callee0 } = x_18874
    408408  in
    409409  h_mk_preclassified_system pcs_exec0 pcs_labelled0 pcs_classify0 pcs_callee0
Note: See TracChangeset for help on using the changeset viewer.