Changeset 2743 for extracted/errors.mli


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (8 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/errors.mli

    r2649 r2743  
    146146val opt_to_res : errmsg -> 'a1 Types.option -> 'a1 res
    147147
     148val jmeq_to_eq__o__opt_eq_from_res__o__inject :
     149  errmsg -> 'a1 Types.option -> 'a1 -> __ Types.sig0
     150
     151val dpi1__o__opt_eq_from_res__o__inject :
     152  errmsg -> 'a1 Types.option -> 'a1 -> (__, 'a2) Types.dPair -> __ Types.sig0
     153
     154val eject__o__opt_eq_from_res__o__inject :
     155  errmsg -> 'a1 Types.option -> 'a1 -> __ Types.sig0 -> __ Types.sig0
     156
     157val opt_eq_from_res__o__inject :
     158  errmsg -> 'a1 Types.option -> 'a1 -> __ Types.sig0
     159
    148160val bind_eq : 'a1 res -> ('a1 -> __ -> 'a2 res) -> 'a2 res
    149161
Note: See TracChangeset for help on using the changeset viewer.