Changeset 2730 for extracted/iOMonad.ml
 Timestamp:
 Feb 25, 2013, 9:54:49 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/iOMonad.ml
r2717 r2730 52 52 'a4) > (Errors.errmsg > 'a4) > ('a1, 'a2, 'a3) iO > 'a4 **) 53 53 let rec iO_rect_Type4 h_Interact h_Value h_Wrong = function 54  Interact (o, x_ 4607) >55 h_Interact o x_ 4607 (fun x_4606>56 iO_rect_Type4 h_Interact h_Value h_Wrong (x_ 4607 x_4606))57  Value x_ 4608 > h_Value x_460858  Wrong x_ 4609 > h_Wrong x_460954  Interact (o, x_8433) > 55 h_Interact o x_8433 (fun x_8432 > 56 iO_rect_Type4 h_Interact h_Value h_Wrong (x_8433 x_8432)) 57  Value x_8434 > h_Value x_8434 58  Wrong x_8435 > h_Wrong x_8435 59 59 60 60 (** val iO_rect_Type3 : … … 62 62 'a4) > (Errors.errmsg > 'a4) > ('a1, 'a2, 'a3) iO > 'a4 **) 63 63 let rec iO_rect_Type3 h_Interact h_Value h_Wrong = function 64  Interact (o, x_ 4623) >65 h_Interact o x_ 4623 (fun x_4622>66 iO_rect_Type3 h_Interact h_Value h_Wrong (x_ 4623 x_4622))67  Value x_ 4624 > h_Value x_462468  Wrong x_ 4625 > h_Wrong x_462564  Interact (o, x_8449) > 65 h_Interact o x_8449 (fun x_8448 > 66 iO_rect_Type3 h_Interact h_Value h_Wrong (x_8449 x_8448)) 67  Value x_8450 > h_Value x_8450 68  Wrong x_8451 > h_Wrong x_8451 69 69 70 70 (** val iO_rect_Type2 : … … 72 72 'a4) > (Errors.errmsg > 'a4) > ('a1, 'a2, 'a3) iO > 'a4 **) 73 73 let rec iO_rect_Type2 h_Interact h_Value h_Wrong = function 74  Interact (o, x_ 4631) >75 h_Interact o x_ 4631 (fun x_4630>76 iO_rect_Type2 h_Interact h_Value h_Wrong (x_ 4631 x_4630))77  Value x_ 4632 > h_Value x_463278  Wrong x_ 4633 > h_Wrong x_463374  Interact (o, x_8457) > 75 h_Interact o x_8457 (fun x_8456 > 76 iO_rect_Type2 h_Interact h_Value h_Wrong (x_8457 x_8456)) 77  Value x_8458 > h_Value x_8458 78  Wrong x_8459 > h_Wrong x_8459 79 79 80 80 (** val iO_rect_Type1 : … … 82 82 'a4) > (Errors.errmsg > 'a4) > ('a1, 'a2, 'a3) iO > 'a4 **) 83 83 let rec iO_rect_Type1 h_Interact h_Value h_Wrong = function 84  Interact (o, x_ 4639) >85 h_Interact o x_ 4639 (fun x_4638>86 iO_rect_Type1 h_Interact h_Value h_Wrong (x_ 4639 x_4638))87  Value x_ 4640 > h_Value x_464088  Wrong x_ 4641 > h_Wrong x_464184  Interact (o, x_8465) > 85 h_Interact o x_8465 (fun x_8464 > 86 iO_rect_Type1 h_Interact h_Value h_Wrong (x_8465 x_8464)) 87  Value x_8466 > h_Value x_8466 88  Wrong x_8467 > h_Wrong x_8467 89 89 90 90 (** val iO_rect_Type0 : … … 92 92 'a4) > (Errors.errmsg > 'a4) > ('a1, 'a2, 'a3) iO > 'a4 **) 93 93 let rec iO_rect_Type0 h_Interact h_Value h_Wrong = function 94  Interact (o, x_ 4647) >95 h_Interact o x_ 4647 (fun x_4646>96 iO_rect_Type0 h_Interact h_Value h_Wrong (x_ 4647 x_4646))97  Value x_ 4648 > h_Value x_464898  Wrong x_ 4649 > h_Wrong x_464994  Interact (o, x_8473) > 95 h_Interact o x_8473 (fun x_8472 > 96 iO_rect_Type0 h_Interact h_Value h_Wrong (x_8473 x_8472)) 97  Value x_8474 > h_Value x_8474 98  Wrong x_8475 > h_Wrong x_8475 99 99 100 100 (** val iO_inv_rect_Type4 :
Note: See TracChangeset
for help on using the changeset viewer.