Changeset 2649 for extracted/iOMonad.ml


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/iOMonad.ml

    r2601 r2649  
    2929open Extralib
    3030
     31open ErrorMessages
     32
    3133open Option
    3234
     
    3638
    3739open Positive
    38 
    39 open Char
    40 
    41 open String
    4240
    4341open PreIdentifiers
     
    5452    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    5553let rec iO_rect_Type4 h_Interact h_Value h_Wrong = function
    56 | Interact (o, x_3606) ->
    57   h_Interact o x_3606 (fun x_3605 ->
    58     iO_rect_Type4 h_Interact h_Value h_Wrong (x_3606 x_3605))
    59 | Value x_3607 -> h_Value x_3607
    60 | Wrong x_3608 -> h_Wrong x_3608
     54| Interact (o, x_3267) ->
     55  h_Interact o x_3267 (fun x_3266 ->
     56    iO_rect_Type4 h_Interact h_Value h_Wrong (x_3267 x_3266))
     57| Value x_3268 -> h_Value x_3268
     58| Wrong x_3269 -> h_Wrong x_3269
    6159
    6260(** val iO_rect_Type3 :
     
    6462    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    6563let rec iO_rect_Type3 h_Interact h_Value h_Wrong = function
    66 | Interact (o, x_3622) ->
    67   h_Interact o x_3622 (fun x_3621 ->
    68     iO_rect_Type3 h_Interact h_Value h_Wrong (x_3622 x_3621))
    69 | Value x_3623 -> h_Value x_3623
    70 | Wrong x_3624 -> h_Wrong x_3624
     64| Interact (o, x_3283) ->
     65  h_Interact o x_3283 (fun x_3282 ->
     66    iO_rect_Type3 h_Interact h_Value h_Wrong (x_3283 x_3282))
     67| Value x_3284 -> h_Value x_3284
     68| Wrong x_3285 -> h_Wrong x_3285
    7169
    7270(** val iO_rect_Type2 :
     
    7472    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    7573let rec iO_rect_Type2 h_Interact h_Value h_Wrong = function
    76 | Interact (o, x_3630) ->
    77   h_Interact o x_3630 (fun x_3629 ->
    78     iO_rect_Type2 h_Interact h_Value h_Wrong (x_3630 x_3629))
    79 | Value x_3631 -> h_Value x_3631
    80 | Wrong x_3632 -> h_Wrong x_3632
     74| Interact (o, x_3291) ->
     75  h_Interact o x_3291 (fun x_3290 ->
     76    iO_rect_Type2 h_Interact h_Value h_Wrong (x_3291 x_3290))
     77| Value x_3292 -> h_Value x_3292
     78| Wrong x_3293 -> h_Wrong x_3293
    8179
    8280(** val iO_rect_Type1 :
     
    8482    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    8583let rec iO_rect_Type1 h_Interact h_Value h_Wrong = function
    86 | Interact (o, x_3638) ->
    87   h_Interact o x_3638 (fun x_3637 ->
    88     iO_rect_Type1 h_Interact h_Value h_Wrong (x_3638 x_3637))
    89 | Value x_3639 -> h_Value x_3639
    90 | Wrong x_3640 -> h_Wrong x_3640
     84| Interact (o, x_3299) ->
     85  h_Interact o x_3299 (fun x_3298 ->
     86    iO_rect_Type1 h_Interact h_Value h_Wrong (x_3299 x_3298))
     87| Value x_3300 -> h_Value x_3300
     88| Wrong x_3301 -> h_Wrong x_3301
    9189
    9290(** val iO_rect_Type0 :
     
    9492    'a4) -> (Errors.errmsg -> 'a4) -> ('a1, 'a2, 'a3) iO -> 'a4 **)
    9593let rec iO_rect_Type0 h_Interact h_Value h_Wrong = function
    96 | Interact (o, x_3646) ->
    97   h_Interact o x_3646 (fun x_3645 ->
    98     iO_rect_Type0 h_Interact h_Value h_Wrong (x_3646 x_3645))
    99 | Value x_3647 -> h_Value x_3647
    100 | Wrong x_3648 -> h_Wrong x_3648
     94| Interact (o, x_3307) ->
     95  h_Interact o x_3307 (fun x_3306 ->
     96    iO_rect_Type0 h_Interact h_Value h_Wrong (x_3307 x_3306))
     97| Value x_3308 -> h_Value x_3308
     98| Wrong x_3309 -> h_Wrong x_3309
    10199
    102100(** val iO_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.