Changeset 2773 for extracted/monad.mli


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

    r2743 r2773  
    4646  monad -> 'a1
    4747
    48 type 'x_1762 monad0
     48type 'x_1502 monad0
    4949
    5050val m_return0 : monad -> 'a1 -> __
     
    111111  monadProps -> (monad -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
    112112
    113 type 'x_1762 max_def__o__monad = __
     113type 'x_1502 max_def__o__monad = __
    114114
    115115type setoidMonadProps =
     
    143143val smax_def : setoidMonadProps -> monad
    144144
    145 type 'a sm_eq = __
    146 
    147145val setoidMonadProps_inv_rect_Type4 :
    148146  setoidMonadProps -> (monad -> __ -> __ -> __ -> __ -> __ -> __ -> __ -> __
     
    165163  -> __ -> __ -> 'a1) -> 'a1
    166164
    167 type 'x_1762 smax_def__o__monad = __
     165type 'x_1502 smax_def__o__monad = __
    168166
    169167val setoid_of_monad : setoidMonadProps -> Setoids.setoid
     
    227225  monad -> (__ -> __ -> __ -> __ -> 'a1) -> monadPred -> 'a1
    228226
    229 type 'a m_pred = __
    230 
    231227val monadPred_inv_rect_Type4 :
    232228  monad -> monadPred -> (__ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
     
    320316  monad -> monad -> (__ -> __ -> __ -> __ -> 'a1) -> monadRel -> 'a1
    321317
    322 type ('a,'b) m_rel = __
    323 
    324318val monadRel_inv_rect_Type4 :
    325319  monad -> monad -> monadRel -> (__ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
Note: See TracChangeset for help on using the changeset viewer.