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

    r2649 r2743  
    104104type fresh_for_univ = __
    105105
    106 type env_fresh_for_univ = __
     106type 'a env_fresh_for_univ = __
    107107
    108108val eq_identifier :
     
    128128  PreIdentifiers.identifierTag -> Nat.nat -> PreIdentifiers.identifier
    129129
    130 type distinct_env = __
     130type 'a distinct_env = __
    131131
    132132val check_member_env :
     
    255255  PreIdentifiers.identifier -> 'a1 -> 'a1 identifier_map
    256256
    257 type fresh_for_map = __
     257type 'a fresh_for_map = __
    258258
    259259type identifier_set = Types.unit0 identifier_map
     
    287287  Types.unit0 identifier_map
    288288
     289val dpi1__o__id_set_from_list__o__inject :
     290  PreIdentifiers.identifierTag -> (PreIdentifiers.identifier List.list, 'a1)
     291  Types.dPair -> Types.unit0 identifier_map Types.sig0
     292
     293val eject__o__id_set_from_list__o__inject :
     294  PreIdentifiers.identifierTag -> PreIdentifiers.identifier List.list
     295  Types.sig0 -> Types.unit0 identifier_map Types.sig0
     296
     297val id_set_from_list__o__inject :
     298  PreIdentifiers.identifierTag -> PreIdentifiers.identifier List.list ->
     299  Types.unit0 identifier_map Types.sig0
     300
     301val dpi1__o__id_set_from_list :
     302  PreIdentifiers.identifierTag -> (PreIdentifiers.identifier List.list, 'a1)
     303  Types.dPair -> Types.unit0 identifier_map
     304
     305val eject__o__id_set_from_list :
     306  PreIdentifiers.identifierTag -> PreIdentifiers.identifier List.list
     307  Types.sig0 -> Types.unit0 identifier_map
     308
    289309val choose :
    290310  PreIdentifiers.identifierTag -> 'a1 identifier_map ->
Note: See TracChangeset for help on using the changeset viewer.