Changeset 2730 for extracted/iOMonad.ml


Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (7 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/iOMonad.ml

    r2717 r2730  
    5252    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    5353let 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_4608
    58 | Wrong x_4609 -> h_Wrong x_4609
     54| 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
    5959
    6060(** val iO_rect_Type3 :
     
    6262    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    6363let 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_4624
    68 | Wrong x_4625 -> h_Wrong x_4625
     64| 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
    6969
    7070(** val iO_rect_Type2 :
     
    7272    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    7373let 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_4632
    78 | Wrong x_4633 -> h_Wrong x_4633
     74| 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
    7979
    8080(** val iO_rect_Type1 :
     
    8282    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    8383let 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_4640
    88 | Wrong x_4641 -> h_Wrong x_4641
     84| 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
    8989
    9090(** val iO_rect_Type0 :
     
    9292    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    9393let 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_4648
    98 | Wrong x_4649 -> h_Wrong x_4649
     94| 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
    9999
    100100(** val iO_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.