Changeset 2743 for extracted/bind_new.ml


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (7 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/bind_new.ml

    r2717 r2743  
    3535    ('a1, 'a2) bind_new -> 'a3 **)
    3636let rec bind_new_rect_Type4 h_bret h_bnew = function
    37 | Bret x_17542 -> h_bret x_17542
    38 | Bnew x_17544 ->
    39   h_bnew x_17544 (fun x_17543 ->
    40     bind_new_rect_Type4 h_bret h_bnew (x_17544 x_17543))
     37| Bret x_20622 -> h_bret x_20622
     38| Bnew x_20624 ->
     39  h_bnew x_20624 (fun x_20623 ->
     40    bind_new_rect_Type4 h_bret h_bnew (x_20624 x_20623))
    4141
    4242(** val bind_new_rect_Type3 :
     
    4444    ('a1, 'a2) bind_new -> 'a3 **)
    4545let rec bind_new_rect_Type3 h_bret h_bnew = function
    46 | Bret x_17554 -> h_bret x_17554
    47 | Bnew x_17556 ->
    48   h_bnew x_17556 (fun x_17555 ->
    49     bind_new_rect_Type3 h_bret h_bnew (x_17556 x_17555))
     46| Bret x_20634 -> h_bret x_20634
     47| Bnew x_20636 ->
     48  h_bnew x_20636 (fun x_20635 ->
     49    bind_new_rect_Type3 h_bret h_bnew (x_20636 x_20635))
    5050
    5151(** val bind_new_rect_Type2 :
     
    5353    ('a1, 'a2) bind_new -> 'a3 **)
    5454let rec bind_new_rect_Type2 h_bret h_bnew = function
    55 | Bret x_17560 -> h_bret x_17560
    56 | Bnew x_17562 ->
    57   h_bnew x_17562 (fun x_17561 ->
    58     bind_new_rect_Type2 h_bret h_bnew (x_17562 x_17561))
     55| Bret x_20640 -> h_bret x_20640
     56| Bnew x_20642 ->
     57  h_bnew x_20642 (fun x_20641 ->
     58    bind_new_rect_Type2 h_bret h_bnew (x_20642 x_20641))
    5959
    6060(** val bind_new_rect_Type1 :
     
    6262    ('a1, 'a2) bind_new -> 'a3 **)
    6363let rec bind_new_rect_Type1 h_bret h_bnew = function
    64 | Bret x_17566 -> h_bret x_17566
    65 | Bnew x_17568 ->
    66   h_bnew x_17568 (fun x_17567 ->
    67     bind_new_rect_Type1 h_bret h_bnew (x_17568 x_17567))
     64| Bret x_20646 -> h_bret x_20646
     65| Bnew x_20648 ->
     66  h_bnew x_20648 (fun x_20647 ->
     67    bind_new_rect_Type1 h_bret h_bnew (x_20648 x_20647))
    6868
    6969(** val bind_new_rect_Type0 :
     
    7171    ('a1, 'a2) bind_new -> 'a3 **)
    7272let rec bind_new_rect_Type0 h_bret h_bnew = function
    73 | Bret x_17572 -> h_bret x_17572
    74 | Bnew x_17574 ->
    75   h_bnew x_17574 (fun x_17573 ->
    76     bind_new_rect_Type0 h_bret h_bnew (x_17574 x_17573))
     73| Bret x_20652 -> h_bret x_20652
     74| Bnew x_20654 ->
     75  h_bnew x_20654 (fun x_20653 ->
     76    bind_new_rect_Type0 h_bret h_bnew (x_20654 x_20653))
    7777
    7878(** val bind_new_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.