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

    r2717 r2730  
    12051205    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12061206    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1207 let rec function_rect_Type4 h_mk_function x_4417 =
     1207let rec function_rect_Type4 h_mk_function x_3871 =
    12081208  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1209     fn_body = fn_body0 } = x_4417
     1209    fn_body = fn_body0 } = x_3871
    12101210  in
    12111211  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12141214    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12151215    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1216 let rec function_rect_Type5 h_mk_function x_4419 =
     1216let rec function_rect_Type5 h_mk_function x_3873 =
    12171217  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1218     fn_body = fn_body0 } = x_4419
     1218    fn_body = fn_body0 } = x_3873
    12191219  in
    12201220  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12231223    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12241224    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1225 let rec function_rect_Type3 h_mk_function x_4421 =
     1225let rec function_rect_Type3 h_mk_function x_3875 =
    12261226  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1227     fn_body = fn_body0 } = x_4421
     1227    fn_body = fn_body0 } = x_3875
    12281228  in
    12291229  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12321232    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12331233    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1234 let rec function_rect_Type2 h_mk_function x_4423 =
     1234let rec function_rect_Type2 h_mk_function x_3877 =
    12351235  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1236     fn_body = fn_body0 } = x_4423
     1236    fn_body = fn_body0 } = x_3877
    12371237  in
    12381238  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12411241    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12421242    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1243 let rec function_rect_Type1 h_mk_function x_4425 =
     1243let rec function_rect_Type1 h_mk_function x_3879 =
    12441244  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1245     fn_body = fn_body0 } = x_4425
     1245    fn_body = fn_body0 } = x_3879
    12461246  in
    12471247  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12501250    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12511251    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1252 let rec function_rect_Type0 h_mk_function x_4427 =
     1252let rec function_rect_Type0 h_mk_function x_3881 =
    12531253  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1254     fn_body = fn_body0 } = x_4427
     1254    fn_body = fn_body0 } = x_3881
    12551255  in
    12561256  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    13241324    clight_fundef -> 'a1 **)
    13251325let rec clight_fundef_rect_Type4 h_CL_Internal h_CL_External = function
    1326 | CL_Internal x_4449 -> h_CL_Internal x_4449
    1327 | CL_External (x_4452, x_4451, x_4450) -> h_CL_External x_4452 x_4451 x_4450
     1326| CL_Internal x_3903 -> h_CL_Internal x_3903
     1327| CL_External (x_3906, x_3905, x_3904) -> h_CL_External x_3906 x_3905 x_3904
    13281328
    13291329(** val clight_fundef_rect_Type5 :
     
    13311331    clight_fundef -> 'a1 **)
    13321332let rec clight_fundef_rect_Type5 h_CL_Internal h_CL_External = function
    1333 | CL_Internal x_4456 -> h_CL_Internal x_4456
    1334 | CL_External (x_4459, x_4458, x_4457) -> h_CL_External x_4459 x_4458 x_4457
     1333| CL_Internal x_3910 -> h_CL_Internal x_3910
     1334| CL_External (x_3913, x_3912, x_3911) -> h_CL_External x_3913 x_3912 x_3911
    13351335
    13361336(** val clight_fundef_rect_Type3 :
     
    13381338    clight_fundef -> 'a1 **)
    13391339let rec clight_fundef_rect_Type3 h_CL_Internal h_CL_External = function
    1340 | CL_Internal x_4463 -> h_CL_Internal x_4463
    1341 | CL_External (x_4466, x_4465, x_4464) -> h_CL_External x_4466 x_4465 x_4464
     1340| CL_Internal x_3917 -> h_CL_Internal x_3917
     1341| CL_External (x_3920, x_3919, x_3918) -> h_CL_External x_3920 x_3919 x_3918
    13421342
    13431343(** val clight_fundef_rect_Type2 :
     
    13451345    clight_fundef -> 'a1 **)
    13461346let rec clight_fundef_rect_Type2 h_CL_Internal h_CL_External = function
    1347 | CL_Internal x_4470 -> h_CL_Internal x_4470
    1348 | CL_External (x_4473, x_4472, x_4471) -> h_CL_External x_4473 x_4472 x_4471
     1347| CL_Internal x_3924 -> h_CL_Internal x_3924
     1348| CL_External (x_3927, x_3926, x_3925) -> h_CL_External x_3927 x_3926 x_3925
    13491349
    13501350(** val clight_fundef_rect_Type1 :
     
    13521352    clight_fundef -> 'a1 **)
    13531353let rec clight_fundef_rect_Type1 h_CL_Internal h_CL_External = function
    1354 | CL_Internal x_4477 -> h_CL_Internal x_4477
    1355 | CL_External (x_4480, x_4479, x_4478) -> h_CL_External x_4480 x_4479 x_4478
     1354| CL_Internal x_3931 -> h_CL_Internal x_3931
     1355| CL_External (x_3934, x_3933, x_3932) -> h_CL_External x_3934 x_3933 x_3932
    13561356
    13571357(** val clight_fundef_rect_Type0 :
     
    13591359    clight_fundef -> 'a1 **)
    13601360let rec clight_fundef_rect_Type0 h_CL_Internal h_CL_External = function
    1361 | CL_Internal x_4484 -> h_CL_Internal x_4484
    1362 | CL_External (x_4487, x_4486, x_4485) -> h_CL_External x_4487 x_4486 x_4485
     1361| CL_Internal x_3938 -> h_CL_Internal x_3938
     1362| CL_External (x_3941, x_3940, x_3939) -> h_CL_External x_3941 x_3940 x_3939
    13631363
    13641364(** val clight_fundef_inv_rect_Type4 :
     
    15351535(** val mode_rect_Type4 :
    15361536    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1537 let rec mode_rect_Type4 h_By_value h_By_reference h_By_nothing x_4537 = function
     1537let rec mode_rect_Type4 h_By_value h_By_reference h_By_nothing x_3991 = function
    15381538| By_value t -> h_By_value t
    15391539| By_reference -> h_By_reference
     
    15421542(** val mode_rect_Type5 :
    15431543    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1544 let rec mode_rect_Type5 h_By_value h_By_reference h_By_nothing x_4542 = function
     1544let rec mode_rect_Type5 h_By_value h_By_reference h_By_nothing x_3996 = function
    15451545| By_value t -> h_By_value t
    15461546| By_reference -> h_By_reference
     
    15491549(** val mode_rect_Type3 :
    15501550    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1551 let rec mode_rect_Type3 h_By_value h_By_reference h_By_nothing x_4547 = function
     1551let rec mode_rect_Type3 h_By_value h_By_reference h_By_nothing x_4001 = function
    15521552| By_value t -> h_By_value t
    15531553| By_reference -> h_By_reference
     
    15561556(** val mode_rect_Type2 :
    15571557    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1558 let rec mode_rect_Type2 h_By_value h_By_reference h_By_nothing x_4552 = function
     1558let rec mode_rect_Type2 h_By_value h_By_reference h_By_nothing x_4006 = function
    15591559| By_value t -> h_By_value t
    15601560| By_reference -> h_By_reference
     
    15631563(** val mode_rect_Type1 :
    15641564    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1565 let rec mode_rect_Type1 h_By_value h_By_reference h_By_nothing x_4557 = function
     1565let rec mode_rect_Type1 h_By_value h_By_reference h_By_nothing x_4011 = function
    15661566| By_value t -> h_By_value t
    15671567| By_reference -> h_By_reference
     
    15701570(** val mode_rect_Type0 :
    15711571    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1572 let rec mode_rect_Type0 h_By_value h_By_reference h_By_nothing x_4562 = function
     1572let rec mode_rect_Type0 h_By_value h_By_reference h_By_nothing x_4016 = function
    15731573| By_value t -> h_By_value t
    15741574| By_reference -> h_By_reference
Note: See TracChangeset for help on using the changeset viewer.