Changeset 2873 for extracted/bind_new.ml


Ignore:
Timestamp:
Mar 14, 2013, 10:37:39 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/bind_new.ml

    r2827 r2873  
    3535    ('a1, 'a2) bind_new -> 'a3 **)
    3636let rec bind_new_rect_Type4 h_bret h_bnew = function
    37 | Bret x_20959 -> h_bret x_20959
    38 | Bnew x_20961 ->
    39   h_bnew x_20961 (fun x_20960 ->
    40     bind_new_rect_Type4 h_bret h_bnew (x_20961 x_20960))
     37| Bret x_21128 -> h_bret x_21128
     38| Bnew x_21130 ->
     39  h_bnew x_21130 (fun x_21129 ->
     40    bind_new_rect_Type4 h_bret h_bnew (x_21130 x_21129))
    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_20971 -> h_bret x_20971
    47 | Bnew x_20973 ->
    48   h_bnew x_20973 (fun x_20972 ->
    49     bind_new_rect_Type3 h_bret h_bnew (x_20973 x_20972))
     46| Bret x_21140 -> h_bret x_21140
     47| Bnew x_21142 ->
     48  h_bnew x_21142 (fun x_21141 ->
     49    bind_new_rect_Type3 h_bret h_bnew (x_21142 x_21141))
    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_20977 -> h_bret x_20977
    56 | Bnew x_20979 ->
    57   h_bnew x_20979 (fun x_20978 ->
    58     bind_new_rect_Type2 h_bret h_bnew (x_20979 x_20978))
     55| Bret x_21146 -> h_bret x_21146
     56| Bnew x_21148 ->
     57  h_bnew x_21148 (fun x_21147 ->
     58    bind_new_rect_Type2 h_bret h_bnew (x_21148 x_21147))
    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_20983 -> h_bret x_20983
    65 | Bnew x_20985 ->
    66   h_bnew x_20985 (fun x_20984 ->
    67     bind_new_rect_Type1 h_bret h_bnew (x_20985 x_20984))
     64| Bret x_21152 -> h_bret x_21152
     65| Bnew x_21154 ->
     66  h_bnew x_21154 (fun x_21153 ->
     67    bind_new_rect_Type1 h_bret h_bnew (x_21154 x_21153))
    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_20989 -> h_bret x_20989
    74 | Bnew x_20991 ->
    75   h_bnew x_20991 (fun x_20990 ->
    76     bind_new_rect_Type0 h_bret h_bnew (x_20991 x_20990))
     73| Bret x_21158 -> h_bret x_21158
     74| Bnew x_21160 ->
     75  h_bnew x_21160 (fun x_21159 ->
     76    bind_new_rect_Type0 h_bret h_bnew (x_21160 x_21159))
    7777
    7878(** val bind_new_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.