Changeset 2827 for extracted/csyntax.ml


Ignore:
Timestamp:
Mar 8, 2013, 9:07:28 PM (8 years ago)
Author:
sacerdot
Message:

Everything extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/csyntax.ml

    r2797 r2827  
    12031203    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12041204    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1205 let rec function_rect_Type4 h_mk_function x_4365 =
     1205let rec function_rect_Type4 h_mk_function x_4482 =
    12061206  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1207     fn_body = fn_body0 } = x_4365
     1207    fn_body = fn_body0 } = x_4482
    12081208  in
    12091209  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12121212    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12131213    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1214 let rec function_rect_Type5 h_mk_function x_4367 =
     1214let rec function_rect_Type5 h_mk_function x_4484 =
    12151215  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1216     fn_body = fn_body0 } = x_4367
     1216    fn_body = fn_body0 } = x_4484
    12171217  in
    12181218  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12211221    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12221222    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1223 let rec function_rect_Type3 h_mk_function x_4369 =
     1223let rec function_rect_Type3 h_mk_function x_4486 =
    12241224  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1225     fn_body = fn_body0 } = x_4369
     1225    fn_body = fn_body0 } = x_4486
    12261226  in
    12271227  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12301230    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12311231    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1232 let rec function_rect_Type2 h_mk_function x_4371 =
     1232let rec function_rect_Type2 h_mk_function x_4488 =
    12331233  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1234     fn_body = fn_body0 } = x_4371
     1234    fn_body = fn_body0 } = x_4488
    12351235  in
    12361236  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12391239    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12401240    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1241 let rec function_rect_Type1 h_mk_function x_4373 =
     1241let rec function_rect_Type1 h_mk_function x_4490 =
    12421242  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1243     fn_body = fn_body0 } = x_4373
     1243    fn_body = fn_body0 } = x_4490
    12441244  in
    12451245  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    12481248    (type0 -> (AST.ident, type0) Types.prod List.list -> (AST.ident, type0)
    12491249    Types.prod List.list -> statement -> 'a1) -> function0 -> 'a1 **)
    1250 let rec function_rect_Type0 h_mk_function x_4375 =
     1250let rec function_rect_Type0 h_mk_function x_4492 =
    12511251  let { fn_return = fn_return0; fn_params = fn_params0; fn_vars = fn_vars0;
    1252     fn_body = fn_body0 } = x_4375
     1252    fn_body = fn_body0 } = x_4492
    12531253  in
    12541254  h_mk_function fn_return0 fn_params0 fn_vars0 fn_body0
     
    13221322    clight_fundef -> 'a1 **)
    13231323let rec clight_fundef_rect_Type4 h_CL_Internal h_CL_External = function
    1324 | CL_Internal x_4397 -> h_CL_Internal x_4397
    1325 | CL_External (x_4400, x_4399, x_4398) -> h_CL_External x_4400 x_4399 x_4398
     1324| CL_Internal x_4514 -> h_CL_Internal x_4514
     1325| CL_External (x_4517, x_4516, x_4515) -> h_CL_External x_4517 x_4516 x_4515
    13261326
    13271327(** val clight_fundef_rect_Type5 :
     
    13291329    clight_fundef -> 'a1 **)
    13301330let rec clight_fundef_rect_Type5 h_CL_Internal h_CL_External = function
    1331 | CL_Internal x_4404 -> h_CL_Internal x_4404
    1332 | CL_External (x_4407, x_4406, x_4405) -> h_CL_External x_4407 x_4406 x_4405
     1331| CL_Internal x_4521 -> h_CL_Internal x_4521
     1332| CL_External (x_4524, x_4523, x_4522) -> h_CL_External x_4524 x_4523 x_4522
    13331333
    13341334(** val clight_fundef_rect_Type3 :
     
    13361336    clight_fundef -> 'a1 **)
    13371337let rec clight_fundef_rect_Type3 h_CL_Internal h_CL_External = function
    1338 | CL_Internal x_4411 -> h_CL_Internal x_4411
    1339 | CL_External (x_4414, x_4413, x_4412) -> h_CL_External x_4414 x_4413 x_4412
     1338| CL_Internal x_4528 -> h_CL_Internal x_4528
     1339| CL_External (x_4531, x_4530, x_4529) -> h_CL_External x_4531 x_4530 x_4529
    13401340
    13411341(** val clight_fundef_rect_Type2 :
     
    13431343    clight_fundef -> 'a1 **)
    13441344let rec clight_fundef_rect_Type2 h_CL_Internal h_CL_External = function
    1345 | CL_Internal x_4418 -> h_CL_Internal x_4418
    1346 | CL_External (x_4421, x_4420, x_4419) -> h_CL_External x_4421 x_4420 x_4419
     1345| CL_Internal x_4535 -> h_CL_Internal x_4535
     1346| CL_External (x_4538, x_4537, x_4536) -> h_CL_External x_4538 x_4537 x_4536
    13471347
    13481348(** val clight_fundef_rect_Type1 :
     
    13501350    clight_fundef -> 'a1 **)
    13511351let rec clight_fundef_rect_Type1 h_CL_Internal h_CL_External = function
    1352 | CL_Internal x_4425 -> h_CL_Internal x_4425
    1353 | CL_External (x_4428, x_4427, x_4426) -> h_CL_External x_4428 x_4427 x_4426
     1352| CL_Internal x_4542 -> h_CL_Internal x_4542
     1353| CL_External (x_4545, x_4544, x_4543) -> h_CL_External x_4545 x_4544 x_4543
    13541354
    13551355(** val clight_fundef_rect_Type0 :
     
    13571357    clight_fundef -> 'a1 **)
    13581358let rec clight_fundef_rect_Type0 h_CL_Internal h_CL_External = function
    1359 | CL_Internal x_4432 -> h_CL_Internal x_4432
    1360 | CL_External (x_4435, x_4434, x_4433) -> h_CL_External x_4435 x_4434 x_4433
     1359| CL_Internal x_4549 -> h_CL_Internal x_4549
     1360| CL_External (x_4552, x_4551, x_4550) -> h_CL_External x_4552 x_4551 x_4550
    13611361
    13621362(** val clight_fundef_inv_rect_Type4 :
     
    15321532(** val mode_rect_Type4 :
    15331533    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1534 let rec mode_rect_Type4 h_By_value h_By_reference h_By_nothing x_4485 = function
     1534let rec mode_rect_Type4 h_By_value h_By_reference h_By_nothing x_4602 = function
    15351535| By_value t -> h_By_value t
    15361536| By_reference -> h_By_reference
     
    15391539(** val mode_rect_Type5 :
    15401540    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1541 let rec mode_rect_Type5 h_By_value h_By_reference h_By_nothing x_4490 = function
     1541let rec mode_rect_Type5 h_By_value h_By_reference h_By_nothing x_4607 = function
    15421542| By_value t -> h_By_value t
    15431543| By_reference -> h_By_reference
     
    15461546(** val mode_rect_Type3 :
    15471547    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1548 let rec mode_rect_Type3 h_By_value h_By_reference h_By_nothing x_4495 = function
     1548let rec mode_rect_Type3 h_By_value h_By_reference h_By_nothing x_4612 = function
    15491549| By_value t -> h_By_value t
    15501550| By_reference -> h_By_reference
     
    15531553(** val mode_rect_Type2 :
    15541554    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1555 let rec mode_rect_Type2 h_By_value h_By_reference h_By_nothing x_4500 = function
     1555let rec mode_rect_Type2 h_By_value h_By_reference h_By_nothing x_4617 = function
    15561556| By_value t -> h_By_value t
    15571557| By_reference -> h_By_reference
     
    15601560(** val mode_rect_Type1 :
    15611561    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1562 let rec mode_rect_Type1 h_By_value h_By_reference h_By_nothing x_4505 = function
     1562let rec mode_rect_Type1 h_By_value h_By_reference h_By_nothing x_4622 = function
    15631563| By_value t -> h_By_value t
    15641564| By_reference -> h_By_reference
     
    15671567(** val mode_rect_Type0 :
    15681568    (AST.typ -> 'a1) -> 'a1 -> (AST.typ -> 'a1) -> AST.typ -> mode -> 'a1 **)
    1569 let rec mode_rect_Type0 h_By_value h_By_reference h_By_nothing x_4510 = function
     1569let rec mode_rect_Type0 h_By_value h_By_reference h_By_nothing x_4627 = function
    15701570| By_value t -> h_By_value t
    15711571| By_reference -> h_By_reference
Note: See TracChangeset for help on using the changeset viewer.