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

    r2867 r2873  
    324324    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    325325    preclassified_system_pass -> 'a1 **)
    326 let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_26223 =
    327   let pcs_pcs = x_26223 in h_mk_preclassified_system_pass pcs_pcs __
     326let rec preclassified_system_pass_rect_Type4 p h_mk_preclassified_system_pass x_26392 =
     327  let pcs_pcs = x_26392 in h_mk_preclassified_system_pass pcs_pcs __
    328328
    329329(** val preclassified_system_pass_rect_Type5 :
    330330    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    331331    preclassified_system_pass -> 'a1 **)
    332 let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_26225 =
    333   let pcs_pcs = x_26225 in h_mk_preclassified_system_pass pcs_pcs __
     332let rec preclassified_system_pass_rect_Type5 p h_mk_preclassified_system_pass x_26394 =
     333  let pcs_pcs = x_26394 in h_mk_preclassified_system_pass pcs_pcs __
    334334
    335335(** val preclassified_system_pass_rect_Type3 :
    336336    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    337337    preclassified_system_pass -> 'a1 **)
    338 let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_26227 =
    339   let pcs_pcs = x_26227 in h_mk_preclassified_system_pass pcs_pcs __
     338let rec preclassified_system_pass_rect_Type3 p h_mk_preclassified_system_pass x_26396 =
     339  let pcs_pcs = x_26396 in h_mk_preclassified_system_pass pcs_pcs __
    340340
    341341(** val preclassified_system_pass_rect_Type2 :
    342342    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    343343    preclassified_system_pass -> 'a1 **)
    344 let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_26229 =
    345   let pcs_pcs = x_26229 in h_mk_preclassified_system_pass pcs_pcs __
     344let rec preclassified_system_pass_rect_Type2 p h_mk_preclassified_system_pass x_26398 =
     345  let pcs_pcs = x_26398 in h_mk_preclassified_system_pass pcs_pcs __
    346346
    347347(** val preclassified_system_pass_rect_Type1 :
    348348    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    349349    preclassified_system_pass -> 'a1 **)
    350 let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_26231 =
    351   let pcs_pcs = x_26231 in h_mk_preclassified_system_pass pcs_pcs __
     350let rec preclassified_system_pass_rect_Type1 p h_mk_preclassified_system_pass x_26400 =
     351  let pcs_pcs = x_26400 in h_mk_preclassified_system_pass pcs_pcs __
    352352
    353353(** val preclassified_system_pass_rect_Type0 :
    354354    Compiler.pass -> (Measurable.preclassified_system -> __ -> 'a1) ->
    355355    preclassified_system_pass -> 'a1 **)
    356 let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_26233 =
    357   let pcs_pcs = x_26233 in h_mk_preclassified_system_pass pcs_pcs __
     356let rec preclassified_system_pass_rect_Type0 p h_mk_preclassified_system_pass x_26402 =
     357  let pcs_pcs = x_26402 in h_mk_preclassified_system_pass pcs_pcs __
    358358
    359359(** val pcs_pcs :
Note: See TracChangeset for help on using the changeset viewer.