Changeset 2717 for extracted/positiveMap.ml
 Timestamp:
 Feb 23, 2013, 1:16:55 AM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/positiveMap.ml
r2649 r2717 28 28 29 29 open Util 30 31 open Setoids 32 33 open Monad 34 35 open Option 30 36 31 37 type 'a positive_map = … … 38 44 let rec positive_map_rect_Type4 h_pm_leaf h_pm_node = function 39 45  Pm_leaf > h_pm_leaf 40  Pm_node (x_3 092, x_3091, x_3090) >41 h_pm_node x_3 092 x_3091 x_309042 (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3 091)43 (positive_map_rect_Type4 h_pm_leaf h_pm_node x_3 090)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) 44 50 45 51 (** val positive_map_rect_Type3 : … … 48 54 let rec positive_map_rect_Type3 h_pm_leaf h_pm_node = function 49 55  Pm_leaf > h_pm_leaf 50  Pm_node (x_31 04, x_3103, x_3102) >51 h_pm_node x_31 04 x_3103 x_310252 (positive_map_rect_Type3 h_pm_leaf h_pm_node x_31 03)53 (positive_map_rect_Type3 h_pm_leaf h_pm_node x_31 02)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) 54 60 55 61 (** val positive_map_rect_Type2 : … … 58 64 let rec positive_map_rect_Type2 h_pm_leaf h_pm_node = function 59 65  Pm_leaf > h_pm_leaf 60  Pm_node (x_31 10, x_3109, x_3108) >61 h_pm_node x_31 10 x_3109 x_310862 (positive_map_rect_Type2 h_pm_leaf h_pm_node x_31 09)63 (positive_map_rect_Type2 h_pm_leaf h_pm_node x_31 08)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) 64 70 65 71 (** val positive_map_rect_Type1 : … … 68 74 let rec positive_map_rect_Type1 h_pm_leaf h_pm_node = function 69 75  Pm_leaf > h_pm_leaf 70  Pm_node (x_31 16, x_3115, x_3114) >71 h_pm_node x_31 16 x_3115 x_311472 (positive_map_rect_Type1 h_pm_leaf h_pm_node x_31 15)73 (positive_map_rect_Type1 h_pm_leaf h_pm_node x_31 14)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) 74 80 75 81 (** val positive_map_rect_Type0 : … … 78 84 let rec positive_map_rect_Type0 h_pm_leaf h_pm_node = function 79 85  Pm_leaf > h_pm_leaf 80  Pm_node (x_31 22, x_3121, x_3120) >81 h_pm_node x_31 22 x_3121 x_312082 (positive_map_rect_Type0 h_pm_leaf h_pm_node x_31 21)83 (positive_map_rect_Type0 h_pm_leaf h_pm_node x_31 20)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) 84 90 85 91 (** val positive_map_inv_rect_Type4 : … … 201 207 let domain_of_pm t = 202 208 fold0 (fun p a b > insert p Types.It b) t Pm_leaf 203 204 open Setoids205 206 open Monad207 208 open Option209 209 210 210 (** val is_none : 'a1 Types.option > Bool.bool **)
Note: See TracChangeset
for help on using the changeset viewer.