Changeset 2827 for extracted/errors.ml


Ignore:
Timestamp:
Mar 8, 2013, 9:07:28 PM (7 years ago)
Author:
sacerdot
Message:

Everything extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/errors.ml

    r2797 r2827  
    4343    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    4444let rec errcode_rect_Type4 h_MSG h_CTX = function
    45 | MSG x_2983 -> h_MSG x_2983
    46 | CTX (tag, x_2984) -> h_CTX tag x_2984
     45| MSG x_3100 -> h_MSG x_3100
     46| CTX (tag, x_3101) -> h_CTX tag x_3101
    4747
    4848(** val errcode_rect_Type5 :
     
    5050    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    5151let rec errcode_rect_Type5 h_MSG h_CTX = function
    52 | MSG x_2988 -> h_MSG x_2988
    53 | CTX (tag, x_2989) -> h_CTX tag x_2989
     52| MSG x_3105 -> h_MSG x_3105
     53| CTX (tag, x_3106) -> h_CTX tag x_3106
    5454
    5555(** val errcode_rect_Type3 :
     
    5757    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    5858let rec errcode_rect_Type3 h_MSG h_CTX = function
    59 | MSG x_2993 -> h_MSG x_2993
    60 | CTX (tag, x_2994) -> h_CTX tag x_2994
     59| MSG x_3110 -> h_MSG x_3110
     60| CTX (tag, x_3111) -> h_CTX tag x_3111
    6161
    6262(** val errcode_rect_Type2 :
     
    6464    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    6565let rec errcode_rect_Type2 h_MSG h_CTX = function
    66 | MSG x_2998 -> h_MSG x_2998
    67 | CTX (tag, x_2999) -> h_CTX tag x_2999
     66| MSG x_3115 -> h_MSG x_3115
     67| CTX (tag, x_3116) -> h_CTX tag x_3116
    6868
    6969(** val errcode_rect_Type1 :
     
    7171    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    7272let rec errcode_rect_Type1 h_MSG h_CTX = function
    73 | MSG x_3003 -> h_MSG x_3003
    74 | CTX (tag, x_3004) -> h_CTX tag x_3004
     73| MSG x_3120 -> h_MSG x_3120
     74| CTX (tag, x_3121) -> h_CTX tag x_3121
    7575
    7676(** val errcode_rect_Type0 :
     
    7878    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    7979let rec errcode_rect_Type0 h_MSG h_CTX = function
    80 | MSG x_3008 -> h_MSG x_3008
    81 | CTX (tag, x_3009) -> h_CTX tag x_3009
     80| MSG x_3125 -> h_MSG x_3125
     81| CTX (tag, x_3126) -> h_CTX tag x_3126
    8282
    8383(** val errcode_inv_rect_Type4 :
     
    143143    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    144144let rec res_rect_Type4 h_OK h_Error = function
    145 | OK x_3048 -> h_OK x_3048
    146 | Error x_3049 -> h_Error x_3049
     145| OK x_3165 -> h_OK x_3165
     146| Error x_3166 -> h_Error x_3166
    147147
    148148(** val res_rect_Type5 :
    149149    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    150150let rec res_rect_Type5 h_OK h_Error = function
    151 | OK x_3053 -> h_OK x_3053
    152 | Error x_3054 -> h_Error x_3054
     151| OK x_3170 -> h_OK x_3170
     152| Error x_3171 -> h_Error x_3171
    153153
    154154(** val res_rect_Type3 :
    155155    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    156156let rec res_rect_Type3 h_OK h_Error = function
    157 | OK x_3058 -> h_OK x_3058
    158 | Error x_3059 -> h_Error x_3059
     157| OK x_3175 -> h_OK x_3175
     158| Error x_3176 -> h_Error x_3176
    159159
    160160(** val res_rect_Type2 :
    161161    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    162162let rec res_rect_Type2 h_OK h_Error = function
    163 | OK x_3063 -> h_OK x_3063
    164 | Error x_3064 -> h_Error x_3064
     163| OK x_3180 -> h_OK x_3180
     164| Error x_3181 -> h_Error x_3181
    165165
    166166(** val res_rect_Type1 :
    167167    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    168168let rec res_rect_Type1 h_OK h_Error = function
    169 | OK x_3068 -> h_OK x_3068
    170 | Error x_3069 -> h_Error x_3069
     169| OK x_3185 -> h_OK x_3185
     170| Error x_3186 -> h_Error x_3186
    171171
    172172(** val res_rect_Type0 :
    173173    ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2 **)
    174174let rec res_rect_Type0 h_OK h_Error = function
    175 | OK x_3073 -> h_OK x_3073
    176 | Error x_3074 -> h_Error x_3074
     175| OK x_3190 -> h_OK x_3190
     176| Error x_3191 -> h_Error x_3191
    177177
    178178(** val res_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.