Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (7 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/positiveMap.ml

    r2717 r2743  
    4444let rec positive_map_rect_Type4 h_pm_leaf h_pm_node = function
    4545| Pm_leaf -> h_pm_leaf
    46 | Pm_node (x_3118, x_3117, x_3116) ->
    47   h_pm_node x_3118 x_3117 x_3116
    48     (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3117)
    49     (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3116)
     46| Pm_node (x_3144, x_3143, x_3142) ->
     47  h_pm_node x_3144 x_3143 x_3142
     48    (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3143)
     49    (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3142)
    5050
    5151(** val positive_map_rect_Type3 :
     
    5454let rec positive_map_rect_Type3 h_pm_leaf h_pm_node = function
    5555| Pm_leaf -> h_pm_leaf
    56 | Pm_node (x_3130, x_3129, x_3128) ->
    57   h_pm_node x_3130 x_3129 x_3128
    58     (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3129)
    59     (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3128)
     56| Pm_node (x_3156, x_3155, x_3154) ->
     57  h_pm_node x_3156 x_3155 x_3154
     58    (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3155)
     59    (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3154)
    6060
    6161(** val positive_map_rect_Type2 :
     
    6464let rec positive_map_rect_Type2 h_pm_leaf h_pm_node = function
    6565| Pm_leaf -> h_pm_leaf
    66 | Pm_node (x_3136, x_3135, x_3134) ->
    67   h_pm_node x_3136 x_3135 x_3134
    68     (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3135)
    69     (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3134)
     66| Pm_node (x_3162, x_3161, x_3160) ->
     67  h_pm_node x_3162 x_3161 x_3160
     68    (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3161)
     69    (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3160)
    7070
    7171(** val positive_map_rect_Type1 :
     
    7474let rec positive_map_rect_Type1 h_pm_leaf h_pm_node = function
    7575| Pm_leaf -> h_pm_leaf
    76 | Pm_node (x_3142, x_3141, x_3140) ->
    77   h_pm_node x_3142 x_3141 x_3140
    78     (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3141)
    79     (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3140)
     76| Pm_node (x_3168, x_3167, x_3166) ->
     77  h_pm_node x_3168 x_3167 x_3166
     78    (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3167)
     79    (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3166)
    8080
    8181(** val positive_map_rect_Type0 :
     
    8484let rec positive_map_rect_Type0 h_pm_leaf h_pm_node = function
    8585| Pm_leaf -> h_pm_leaf
    86 | Pm_node (x_3148, x_3147, x_3146) ->
    87   h_pm_node x_3148 x_3147 x_3146
    88     (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3147)
    89     (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3146)
     86| Pm_node (x_3174, x_3173, x_3172) ->
     87  h_pm_node x_3174 x_3173 x_3172
     88    (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3173)
     89    (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3172)
    9090
    9191(** val positive_map_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.