Changeset 2649 for extracted/z.ml


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/z.ml

    r2601 r2649  
    2626let rec z_rect_Type4 h_OZ h_pos h_neg = function
    2727| OZ -> h_OZ
    28 | Pos x_3707 -> h_pos x_3707
    29 | Neg x_3708 -> h_neg x_3708
     28| Pos x_4578 -> h_pos x_4578
     29| Neg x_4579 -> h_neg x_4579
    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_3713 -> h_pos x_3713
    36 | Neg x_3714 -> h_neg x_3714
     35| Pos x_4584 -> h_pos x_4584
     36| Neg x_4585 -> h_neg x_4585
    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_3719 -> h_pos x_3719
    43 | Neg x_3720 -> h_neg x_3720
     42| Pos x_4590 -> h_pos x_4590
     43| Neg x_4591 -> h_neg x_4591
    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_3725 -> h_pos x_3725
    50 | Neg x_3726 -> h_neg x_3726
     49| Pos x_4596 -> h_pos x_4596
     50| Neg x_4597 -> h_neg x_4597
    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_3731 -> h_pos x_3731
    57 | Neg x_3732 -> h_neg x_3732
     56| Pos x_4602 -> h_pos x_4602
     57| Neg x_4603 -> h_neg x_4603
    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_3737 -> h_pos x_3737
    64 | Neg x_3738 -> h_neg x_3738
     63| Pos x_4608 -> h_pos x_4608
     64| Neg x_4609 -> h_neg x_4609
    6565
    6666(** val z_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.