Changeset 2775 for extracted/monad.mli
 Timestamp:
 Mar 5, 2013, 9:52:39 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/monad.mli
r2773 r2775 46 46 monad > 'a1 47 47 48 type 'x_ 1502 monad048 type 'x_772 monad0 49 49 50 50 val m_return0 : monad > 'a1 > __ … … 111 111 monadProps > (monad > __ > __ > __ > __ > __ > 'a1) > 'a1 112 112 113 type 'x_ 1502 max_def__o__monad = __113 type 'x_772 max_def__o__monad = __ 114 114 115 115 type setoidMonadProps = … … 163 163 > __ > __ > 'a1) > 'a1 164 164 165 type 'x_ 1502 smax_def__o__monad = __165 type 'x_772 smax_def__o__monad = __ 166 166 167 167 val setoid_of_monad : setoidMonadProps > Setoids.setoid
Note: See TracChangeset
for help on using the changeset viewer.