Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/identifiers.mli

    r2743 r2773  
    102102  universe) Types.prod
    103103
    104 type fresh_for_univ = __
    105 
    106 type 'a env_fresh_for_univ = __
    107 
    108104val eq_identifier :
    109105  PreIdentifiers.identifierTag -> PreIdentifiers.identifier ->
     
    128124  PreIdentifiers.identifierTag -> Nat.nat -> PreIdentifiers.identifier
    129125
    130 type 'a distinct_env = __
    131 
    132126val check_member_env :
    133127  PreIdentifiers.identifierTag -> PreIdentifiers.identifier ->
     
    198192val empty_map : PreIdentifiers.identifierTag -> 'a1 identifier_map
    199193
    200 val lookup0 :
     194val lookup :
    201195  PreIdentifiers.identifierTag -> 'a1 identifier_map ->
    202196  PreIdentifiers.identifier -> 'a1 Types.option
     
    206200  PreIdentifiers.identifier -> 'a1 -> 'a1
    207201
    208 val member0 :
     202val member :
    209203  PreIdentifiers.identifierTag -> 'a1 identifier_map ->
    210204  PreIdentifiers.identifier -> Bool.bool
     
    226220  (PreIdentifiers.identifier -> 'a1 -> __ -> Bool.bool) -> Bool.bool
    227221
    228 val update0 :
     222val update :
    229223  PreIdentifiers.identifierTag -> 'a1 identifier_map ->
    230224  PreIdentifiers.identifier -> 'a1 -> 'a1 identifier_map Errors.res
     
    234228  PreIdentifiers.identifier -> 'a1 identifier_map
    235229
    236 val foldi0 :
     230val foldi :
    237231  PreIdentifiers.identifierTag -> (PreIdentifiers.identifier -> 'a1 -> 'a2 ->
    238232  'a2) -> 'a1 identifier_map -> 'a2 -> 'a2
     
    242236  (PreIdentifiers.identifier -> 'a1 -> __ -> 'a2 -> 'a2) -> 'a2 -> 'a2
    243237
    244 val find0 :
     238val find :
    245239  PreIdentifiers.identifierTag -> 'a1 identifier_map ->
    246240  (PreIdentifiers.identifier -> 'a1 -> Bool.bool) ->
     
    254248  PreIdentifiers.identifierTag -> 'a1 identifier_map ->
    255249  PreIdentifiers.identifier -> 'a1 -> 'a1 identifier_map
    256 
    257 type 'a fresh_for_map = __
    258250
    259251type identifier_set = Types.unit0 identifier_map
Note: See TracChangeset for help on using the changeset viewer.