Changeset 2775 for extracted/z.ml


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/z.ml

    r2773 r2775  
    2626let rec z_rect_Type4 h_OZ h_pos h_neg = function
    2727| OZ -> h_OZ
    28 | Pos x_1375 -> h_pos x_1375
    29 | Neg x_1376 -> h_neg x_1376
     28| Pos x_4643 -> h_pos x_4643
     29| Neg x_4644 -> h_neg x_4644
    3030
    3131(** val z_rect_Type5 :
     
    3333let rec z_rect_Type5 h_OZ h_pos h_neg = function
    3434| OZ -> h_OZ
    35 | Pos x_1381 -> h_pos x_1381
    36 | Neg x_1382 -> h_neg x_1382
     35| Pos x_4649 -> h_pos x_4649
     36| Neg x_4650 -> h_neg x_4650
    3737
    3838(** val z_rect_Type3 :
     
    4040let rec z_rect_Type3 h_OZ h_pos h_neg = function
    4141| OZ -> h_OZ
    42 | Pos x_1387 -> h_pos x_1387
    43 | Neg x_1388 -> h_neg x_1388
     42| Pos x_4655 -> h_pos x_4655
     43| Neg x_4656 -> h_neg x_4656
    4444
    4545(** val z_rect_Type2 :
     
    4747let rec z_rect_Type2 h_OZ h_pos h_neg = function
    4848| OZ -> h_OZ
    49 | Pos x_1393 -> h_pos x_1393
    50 | Neg x_1394 -> h_neg x_1394
     49| Pos x_4661 -> h_pos x_4661
     50| Neg x_4662 -> h_neg x_4662
    5151
    5252(** val z_rect_Type1 :
     
    5454let rec z_rect_Type1 h_OZ h_pos h_neg = function
    5555| OZ -> h_OZ
    56 | Pos x_1399 -> h_pos x_1399
    57 | Neg x_1400 -> h_neg x_1400
     56| Pos x_4667 -> h_pos x_4667
     57| Neg x_4668 -> h_neg x_4668
    5858
    5959(** val z_rect_Type0 :
     
    6161let rec z_rect_Type0 h_OZ h_pos h_neg = function
    6262| OZ -> h_OZ
    63 | Pos x_1405 -> h_pos x_1405
    64 | Neg x_1406 -> h_neg x_1406
     63| Pos x_4673 -> h_pos x_4673
     64| Neg x_4674 -> h_neg x_4674
    6565
    6666(** val z_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.