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/positiveMap.ml

    r2797 r2827  
    4444let rec positive_map_rect_Type4 h_pm_leaf h_pm_node = function
    4545| Pm_leaf -> h_pm_leaf
    46 | Pm_node (x_3170, x_3169, x_3168) ->
    47   h_pm_node x_3170 x_3169 x_3168
    48     (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3169)
    49     (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3168)
     46| Pm_node (x_3287, x_3286, x_3285) ->
     47  h_pm_node x_3287 x_3286 x_3285
     48    (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3286)
     49    (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3285)
    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_3182, x_3181, x_3180) ->
    57   h_pm_node x_3182 x_3181 x_3180
    58     (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3181)
    59     (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3180)
     56| Pm_node (x_3299, x_3298, x_3297) ->
     57  h_pm_node x_3299 x_3298 x_3297
     58    (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3298)
     59    (positive_map_rect_Type3 h_pm_leaf h_pm_node x_3297)
    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_3188, x_3187, x_3186) ->
    67   h_pm_node x_3188 x_3187 x_3186
    68     (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3187)
    69     (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3186)
     66| Pm_node (x_3305, x_3304, x_3303) ->
     67  h_pm_node x_3305 x_3304 x_3303
     68    (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3304)
     69    (positive_map_rect_Type2 h_pm_leaf h_pm_node x_3303)
    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_3194, x_3193, x_3192) ->
    77   h_pm_node x_3194 x_3193 x_3192
    78     (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3193)
    79     (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3192)
     76| Pm_node (x_3311, x_3310, x_3309) ->
     77  h_pm_node x_3311 x_3310 x_3309
     78    (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3310)
     79    (positive_map_rect_Type1 h_pm_leaf h_pm_node x_3309)
    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_3200, x_3199, x_3198) ->
    87   h_pm_node x_3200 x_3199 x_3198
    88     (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3199)
    89     (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3198)
     86| Pm_node (x_3317, x_3316, x_3315) ->
     87  h_pm_node x_3317 x_3316 x_3315
     88    (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3316)
     89    (positive_map_rect_Type0 h_pm_leaf h_pm_node x_3315)
    9090
    9191(** val positive_map_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.