Changeset 2730 for extracted/errors.ml


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

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/errors.ml

    r2717 r2730  
    4343    PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1 **)
    4444let rec errcode_rect_Type4 h_MSG h_CTX = function
    45 | MSG x_2931 -> h_MSG x_2931
    46 | CTX (tag, x_2932) -> h_CTX tag x_2932
     45| MSG x_891 -> h_MSG x_891
     46| CTX (tag, x_892) -> h_CTX tag x_892
    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_2936 -> h_MSG x_2936
    53 | CTX (tag, x_2937) -> h_CTX tag x_2937
     52| MSG x_896 -> h_MSG x_896
     53| CTX (tag, x_897) -> h_CTX tag x_897
    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_2941 -> h_MSG x_2941
    60 | CTX (tag, x_2942) -> h_CTX tag x_2942
     59| MSG x_901 -> h_MSG x_901
     60| CTX (tag, x_902) -> h_CTX tag x_902
    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_2946 -> h_MSG x_2946
    67 | CTX (tag, x_2947) -> h_CTX tag x_2947
     66| MSG x_906 -> h_MSG x_906
     67| CTX (tag, x_907) -> h_CTX tag x_907
    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_2951 -> h_MSG x_2951
    74 | CTX (tag, x_2952) -> h_CTX tag x_2952
     73| MSG x_911 -> h_MSG x_911
     74| CTX (tag, x_912) -> h_CTX tag x_912
    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_2956 -> h_MSG x_2956
    81 | CTX (tag, x_2957) -> h_CTX tag x_2957
     80| MSG x_916 -> h_MSG x_916
     81| CTX (tag, x_917) -> h_CTX tag x_917
    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_2996 -> h_OK x_2996
    146 | Error x_2997 -> h_Error x_2997
     145| OK x_956 -> h_OK x_956
     146| Error x_957 -> h_Error x_957
    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_3001 -> h_OK x_3001
    152 | Error x_3002 -> h_Error x_3002
     151| OK x_961 -> h_OK x_961
     152| Error x_962 -> h_Error x_962
    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_3006 -> h_OK x_3006
    158 | Error x_3007 -> h_Error x_3007
     157| OK x_966 -> h_OK x_966
     158| Error x_967 -> h_Error x_967
    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_3011 -> h_OK x_3011
    164 | Error x_3012 -> h_Error x_3012
     163| OK x_971 -> h_OK x_971
     164| Error x_972 -> h_Error x_972
    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_3016 -> h_OK x_3016
    170 | Error x_3017 -> h_Error x_3017
     169| OK x_976 -> h_OK x_976
     170| Error x_977 -> h_Error x_977
    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_3021 -> h_OK x_3021
    176 | Error x_3022 -> h_Error x_3022
     175| OK x_981 -> h_OK x_981
     176| Error x_982 -> h_Error x_982
    177177
    178178(** val res_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.