Changeset 2951 for extracted/bind_new.ml
 Timestamp:
 Mar 25, 2013, 11:30:01 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/bind_new.ml
r2873 r2951 35 35 ('a1, 'a2) bind_new > 'a3 **) 36 36 let rec bind_new_rect_Type4 h_bret h_bnew = function 37  Bret x_ 21128 > h_bret x_2112838  Bnew x_ 21130>39 h_bnew x_ 21130 (fun x_21129>40 bind_new_rect_Type4 h_bret h_bnew (x_ 21130 x_21129))37  Bret x_18232 > h_bret x_18232 38  Bnew x_18234 > 39 h_bnew x_18234 (fun x_18233 > 40 bind_new_rect_Type4 h_bret h_bnew (x_18234 x_18233)) 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_ 21140 > h_bret x_2114047  Bnew x_ 21142>48 h_bnew x_ 21142 (fun x_21141>49 bind_new_rect_Type3 h_bret h_bnew (x_ 21142 x_21141))46  Bret x_18244 > h_bret x_18244 47  Bnew x_18246 > 48 h_bnew x_18246 (fun x_18245 > 49 bind_new_rect_Type3 h_bret h_bnew (x_18246 x_18245)) 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_ 21146 > h_bret x_2114656  Bnew x_ 21148>57 h_bnew x_ 21148 (fun x_21147>58 bind_new_rect_Type2 h_bret h_bnew (x_ 21148 x_21147))55  Bret x_18250 > h_bret x_18250 56  Bnew x_18252 > 57 h_bnew x_18252 (fun x_18251 > 58 bind_new_rect_Type2 h_bret h_bnew (x_18252 x_18251)) 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_ 21152 > h_bret x_2115265  Bnew x_ 21154>66 h_bnew x_ 21154 (fun x_21153>67 bind_new_rect_Type1 h_bret h_bnew (x_ 21154 x_21153))64  Bret x_18256 > h_bret x_18256 65  Bnew x_18258 > 66 h_bnew x_18258 (fun x_18257 > 67 bind_new_rect_Type1 h_bret h_bnew (x_18258 x_18257)) 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_ 21158 > h_bret x_2115874  Bnew x_ 21160>75 h_bnew x_ 21160 (fun x_21159>76 bind_new_rect_Type0 h_bret h_bnew (x_ 21160 x_21159))73  Bret x_18262 > h_bret x_18262 74  Bnew x_18264 > 75 h_bnew x_18264 (fun x_18263 > 76 bind_new_rect_Type0 h_bret h_bnew (x_18264 x_18263)) 77 77 78 78 (** val bind_new_inv_rect_Type4 :
Note: See TracChangeset
for help on using the changeset viewer.