Changeset 2743 for extracted/bind_new.ml
 Timestamp:
 Feb 27, 2013, 9:27:58 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/bind_new.ml
r2717 r2743 35 35 ('a1, 'a2) bind_new > 'a3 **) 36 36 let rec bind_new_rect_Type4 h_bret h_bnew = function 37  Bret x_ 17542 > h_bret x_1754238  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)) 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_ 17554 > h_bret x_1755447  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)) 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_ 17560 > h_bret x_1756056  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)) 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_ 17566 > h_bret x_1756665  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)) 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_ 17572 > h_bret x_1757274  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)) 77 77 78 78 (** val bind_new_inv_rect_Type4 :
Note: See TracChangeset
for help on using the changeset viewer.