Changeset 2743 for extracted/blocks.mli


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

    r2717 r2743  
    111111open BindLists
    112112
    113 type bind_new_P = __
     113type ('x, 'x0) bind_new_P = __
    114114
    115115val bindNewP : Monad.monadPred
     
    141141val map_eval : ('a1 -> 'a2) List.list -> 'a1 -> 'a2 List.list
    142142
    143 type bind_new_instantiates = __
     143type ('a,'b) bind_new_instantiates = __
    144144
Note: See TracChangeset for help on using the changeset viewer.