Changeset 2773 for extracted/bind_new.ml
 Timestamp:
 Mar 4, 2013, 10:03:33 AM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/bind_new.ml
r2743 r2773 35 35 ('a1, 'a2) bind_new > 'a3 **) 36 36 let rec bind_new_rect_Type4 h_bret h_bnew = function 37  Bret x_ 20622 > h_bret x_2062238  Bnew x_ 20624 >39 h_bnew x_ 20624 (fun x_20623 >40 bind_new_rect_Type4 h_bret h_bnew (x_ 20624 x_20623))37  Bret x_15932 > h_bret x_15932 38  Bnew x_15934 > 39 h_bnew x_15934 (fun x_15933 > 40 bind_new_rect_Type4 h_bret h_bnew (x_15934 x_15933)) 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_ 20634 > h_bret x_2063447  Bnew x_ 20636 >48 h_bnew x_ 20636 (fun x_20635 >49 bind_new_rect_Type3 h_bret h_bnew (x_ 20636 x_20635))46  Bret x_15944 > h_bret x_15944 47  Bnew x_15946 > 48 h_bnew x_15946 (fun x_15945 > 49 bind_new_rect_Type3 h_bret h_bnew (x_15946 x_15945)) 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_ 20640 > h_bret x_2064056  Bnew x_ 20642 >57 h_bnew x_ 20642 (fun x_20641 >58 bind_new_rect_Type2 h_bret h_bnew (x_ 20642 x_20641))55  Bret x_15950 > h_bret x_15950 56  Bnew x_15952 > 57 h_bnew x_15952 (fun x_15951 > 58 bind_new_rect_Type2 h_bret h_bnew (x_15952 x_15951)) 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_ 20646 > h_bret x_2064665  Bnew x_ 20648 >66 h_bnew x_ 20648 (fun x_20647 >67 bind_new_rect_Type1 h_bret h_bnew (x_ 20648 x_20647))64  Bret x_15956 > h_bret x_15956 65  Bnew x_15958 > 66 h_bnew x_15958 (fun x_15957 > 67 bind_new_rect_Type1 h_bret h_bnew (x_15958 x_15957)) 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_ 20652 > h_bret x_2065274  Bnew x_ 20654 >75 h_bnew x_ 20654 (fun x_20653 >76 bind_new_rect_Type0 h_bret h_bnew (x_ 20654 x_20653))73  Bret x_15962 > h_bret x_15962 74  Bnew x_15964 > 75 h_bnew x_15964 (fun x_15963 > 76 bind_new_rect_Type0 h_bret h_bnew (x_15964 x_15963)) 77 77 78 78 (** val bind_new_inv_rect_Type4 :
Note: See TracChangeset
for help on using the changeset viewer.