Changeset 2743 for extracted/util.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/util.mli

    r2717 r2743  
    187187open Div_and_mod
    188188
     189val dpi1__o__bool_to_Prop__o__inject :
     190  (Bool.bool, 'a1) Types.dPair -> __ Types.sig0
     191
     192val eject__o__bool_to_Prop__o__inject : Bool.bool Types.sig0 -> __ Types.sig0
     193
     194val bool_to_Prop__o__inject : Bool.bool -> __ Types.sig0
     195
     196val dpi1__o__bool_to_Prop_to_eq__o__inject :
     197  Bool.bool -> (__, 'a1) Types.dPair -> __ Types.sig0
     198
     199val eject__o__bool_to_Prop_to_eq__o__inject :
     200  Bool.bool -> __ Types.sig0 -> __ Types.sig0
     201
     202val bool_to_Prop_to_eq__o__inject : Bool.bool -> __ Types.sig0
     203
     204val dpi1__o__not_bool_to_Prop_to_eq__o__inject :
     205  Bool.bool -> (__, 'a1) Types.dPair -> __ Types.sig0
     206
     207val eject__o__not_bool_to_Prop_to_eq__o__inject :
     208  Bool.bool -> __ Types.sig0 -> __ Types.sig0
     209
     210val not_bool_to_Prop_to_eq__o__inject : Bool.bool -> __ Types.sig0
     211
    189212val if_then_else_safe : Bool.bool -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     213
     214val dpi1__o__not_neq_None__o__inject :
     215  'a1 Types.option -> (__, 'a2) Types.dPair -> __ Types.sig0
     216
     217val eject__o__not_neq_None__o__inject :
     218  'a1 Types.option -> __ Types.sig0 -> __ Types.sig0
     219
     220val not_neq_None__o__inject : 'a1 Types.option -> __ Types.sig0
    190221
    191222val prod_jmdiscr : ('a1, 'a2) Types.prod -> ('a1, 'a2) Types.prod -> __
Note: See TracChangeset for help on using the changeset viewer.