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

    r2797 r2827  
    5151(** val universe_rect_Type4 :
    5252    PreIdentifiers.identifierTag -> (Positive.pos -> 'a1) -> universe -> 'a1 **)
    53 let rec universe_rect_Type4 tag h_mk_universe x_3109 =
    54   let next_identifier = x_3109 in h_mk_universe next_identifier
     53let rec universe_rect_Type4 tag h_mk_universe x_3226 =
     54  let next_identifier = x_3226 in h_mk_universe next_identifier
    5555
    5656(** val universe_rect_Type5 :
    5757    PreIdentifiers.identifierTag -> (Positive.pos -> 'a1) -> universe -> 'a1 **)
    58 let rec universe_rect_Type5 tag h_mk_universe x_3111 =
    59   let next_identifier = x_3111 in h_mk_universe next_identifier
     58let rec universe_rect_Type5 tag h_mk_universe x_3228 =
     59  let next_identifier = x_3228 in h_mk_universe next_identifier
    6060
    6161(** val universe_rect_Type3 :
    6262    PreIdentifiers.identifierTag -> (Positive.pos -> 'a1) -> universe -> 'a1 **)
    63 let rec universe_rect_Type3 tag h_mk_universe x_3113 =
    64   let next_identifier = x_3113 in h_mk_universe next_identifier
     63let rec universe_rect_Type3 tag h_mk_universe x_3230 =
     64  let next_identifier = x_3230 in h_mk_universe next_identifier
    6565
    6666(** val universe_rect_Type2 :
    6767    PreIdentifiers.identifierTag -> (Positive.pos -> 'a1) -> universe -> 'a1 **)
    68 let rec universe_rect_Type2 tag h_mk_universe x_3115 =
    69   let next_identifier = x_3115 in h_mk_universe next_identifier
     68let rec universe_rect_Type2 tag h_mk_universe x_3232 =
     69  let next_identifier = x_3232 in h_mk_universe next_identifier
    7070
    7171(** val universe_rect_Type1 :
    7272    PreIdentifiers.identifierTag -> (Positive.pos -> 'a1) -> universe -> 'a1 **)
    73 let rec universe_rect_Type1 tag h_mk_universe x_3117 =
    74   let next_identifier = x_3117 in h_mk_universe next_identifier
     73let rec universe_rect_Type1 tag h_mk_universe x_3234 =
     74  let next_identifier = x_3234 in h_mk_universe next_identifier
    7575
    7676(** val universe_rect_Type0 :
    7777    PreIdentifiers.identifierTag -> (Positive.pos -> 'a1) -> universe -> 'a1 **)
    78 let rec universe_rect_Type0 tag h_mk_universe x_3119 =
    79   let next_identifier = x_3119 in h_mk_universe next_identifier
     78let rec universe_rect_Type0 tag h_mk_universe x_3236 =
     79  let next_identifier = x_3236 in h_mk_universe next_identifier
    8080
    8181(** val next_identifier :
     
    215215    PreIdentifiers.identifierTag -> ('a1 PositiveMap.positive_map -> 'a2) ->
    216216    'a1 identifier_map -> 'a2 **)
    217 let rec identifier_map_rect_Type4 tag h_an_id_map x_3281 =
    218   let x_3282 = x_3281 in h_an_id_map x_3282
     217let rec identifier_map_rect_Type4 tag h_an_id_map x_3398 =
     218  let x_3399 = x_3398 in h_an_id_map x_3399
    219219
    220220(** val identifier_map_rect_Type5 :
    221221    PreIdentifiers.identifierTag -> ('a1 PositiveMap.positive_map -> 'a2) ->
    222222    'a1 identifier_map -> 'a2 **)
    223 let rec identifier_map_rect_Type5 tag h_an_id_map x_3284 =
    224   let x_3285 = x_3284 in h_an_id_map x_3285
     223let rec identifier_map_rect_Type5 tag h_an_id_map x_3401 =
     224  let x_3402 = x_3401 in h_an_id_map x_3402
    225225
    226226(** val identifier_map_rect_Type3 :
    227227    PreIdentifiers.identifierTag -> ('a1 PositiveMap.positive_map -> 'a2) ->
    228228    'a1 identifier_map -> 'a2 **)
    229 let rec identifier_map_rect_Type3 tag h_an_id_map x_3287 =
    230   let x_3288 = x_3287 in h_an_id_map x_3288
     229let rec identifier_map_rect_Type3 tag h_an_id_map x_3404 =
     230  let x_3405 = x_3404 in h_an_id_map x_3405
    231231
    232232(** val identifier_map_rect_Type2 :
    233233    PreIdentifiers.identifierTag -> ('a1 PositiveMap.positive_map -> 'a2) ->
    234234    'a1 identifier_map -> 'a2 **)
    235 let rec identifier_map_rect_Type2 tag h_an_id_map x_3290 =
    236   let x_3291 = x_3290 in h_an_id_map x_3291
     235let rec identifier_map_rect_Type2 tag h_an_id_map x_3407 =
     236  let x_3408 = x_3407 in h_an_id_map x_3408
    237237
    238238(** val identifier_map_rect_Type1 :
    239239    PreIdentifiers.identifierTag -> ('a1 PositiveMap.positive_map -> 'a2) ->
    240240    'a1 identifier_map -> 'a2 **)
    241 let rec identifier_map_rect_Type1 tag h_an_id_map x_3293 =
    242   let x_3294 = x_3293 in h_an_id_map x_3294
     241let rec identifier_map_rect_Type1 tag h_an_id_map x_3410 =
     242  let x_3411 = x_3410 in h_an_id_map x_3411
    243243
    244244(** val identifier_map_rect_Type0 :
    245245    PreIdentifiers.identifierTag -> ('a1 PositiveMap.positive_map -> 'a2) ->
    246246    'a1 identifier_map -> 'a2 **)
    247 let rec identifier_map_rect_Type0 tag h_an_id_map x_3296 =
    248   let x_3297 = x_3296 in h_an_id_map x_3297
     247let rec identifier_map_rect_Type0 tag h_an_id_map x_3413 =
     248  let x_3414 = x_3413 in h_an_id_map x_3414
    249249
    250250(** val identifier_map_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.