Changeset 2873 for extracted/bind_new.ml
 Timestamp:
 Mar 14, 2013, 10:37:39 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/bind_new.ml
r2827 r2873 35 35 ('a1, 'a2) bind_new > 'a3 **) 36 36 let rec bind_new_rect_Type4 h_bret h_bnew = function 37  Bret x_2 0959 > h_bret x_2095938  Bnew x_2 0961>39 h_bnew x_2 0961 (fun x_20960>40 bind_new_rect_Type4 h_bret h_bnew (x_2 0961 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)) 41 41 42 42 (** val bind_new_rect_Type3 : … … 44 44 ('a1, 'a2) bind_new > 'a3 **) 45 45 let rec bind_new_rect_Type3 h_bret h_bnew = function 46  Bret x_2 0971 > h_bret x_2097147  Bnew x_2 0973>48 h_bnew x_2 0973 (fun x_20972>49 bind_new_rect_Type3 h_bret h_bnew (x_2 0973 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)) 50 50 51 51 (** val bind_new_rect_Type2 : … … 53 53 ('a1, 'a2) bind_new > 'a3 **) 54 54 let rec bind_new_rect_Type2 h_bret h_bnew = function 55  Bret x_2 0977 > h_bret x_2097756  Bnew x_2 0979>57 h_bnew x_2 0979 (fun x_20978>58 bind_new_rect_Type2 h_bret h_bnew (x_2 0979 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)) 59 59 60 60 (** val bind_new_rect_Type1 : … … 62 62 ('a1, 'a2) bind_new > 'a3 **) 63 63 let rec bind_new_rect_Type1 h_bret h_bnew = function 64  Bret x_2 0983 > h_bret x_2098365  Bnew x_2 0985>66 h_bnew x_2 0985 (fun x_20984>67 bind_new_rect_Type1 h_bret h_bnew (x_2 0985 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)) 68 68 69 69 (** val bind_new_rect_Type0 : … … 71 71 ('a1, 'a2) bind_new > 'a3 **) 72 72 let rec bind_new_rect_Type0 h_bret h_bnew = function 73  Bret x_2 0989 > h_bret x_2098974  Bnew x_2 0991>75 h_bnew x_2 0991 (fun x_20990>76 bind_new_rect_Type0 h_bret h_bnew (x_2 0991 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)) 77 77 78 78 (** val bind_new_inv_rect_Type4 :
Note: See TracChangeset
for help on using the changeset viewer.