Changeset 2775 for extracted/monad.mli


Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/monad.mli

    r2773 r2775  
    4646  monad -> 'a1
    4747
    48 type 'x_1502 monad0
     48type 'x_772 monad0
    4949
    5050val m_return0 : monad -> 'a1 -> __
     
    111111  monadProps -> (monad -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
    112112
    113 type 'x_1502 max_def__o__monad = __
     113type 'x_772 max_def__o__monad = __
    114114
    115115type setoidMonadProps =
     
    163163  -> __ -> __ -> 'a1) -> 'a1
    164164
    165 type 'x_1502 smax_def__o__monad = __
     165type 'x_772 smax_def__o__monad = __
    166166
    167167val setoid_of_monad : setoidMonadProps -> Setoids.setoid
Note: See TracChangeset for help on using the changeset viewer.