Changeset 3059 for extracted/extraMonads.mli
 Timestamp:
 Apr 2, 2013, 1:25:09 AM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/extraMonads.mli
r2829 r3059 147 147 Monad.monad > Monad.monad > monadFunctRel1 > monadFunctRel1 > __ 148 148 149 type monadGenRel = 150  Mk_MonadGenRel 151 152 val monadGenRel_rect_Type4 : 153 Monad.monad > Monad.monad > (__ > __ > __ > __ > __ > 'a1) > 154 monadGenRel > 'a1 155 156 val monadGenRel_rect_Type5 : 157 Monad.monad > Monad.monad > (__ > __ > __ > __ > __ > 'a1) > 158 monadGenRel > 'a1 159 160 val monadGenRel_rect_Type3 : 161 Monad.monad > Monad.monad > (__ > __ > __ > __ > __ > 'a1) > 162 monadGenRel > 'a1 163 164 val monadGenRel_rect_Type2 : 165 Monad.monad > Monad.monad > (__ > __ > __ > __ > __ > 'a1) > 166 monadGenRel > 'a1 167 168 val monadGenRel_rect_Type1 : 169 Monad.monad > Monad.monad > (__ > __ > __ > __ > __ > 'a1) > 170 monadGenRel > 'a1 171 172 val monadGenRel_rect_Type0 : 173 Monad.monad > Monad.monad > (__ > __ > __ > __ > __ > 'a1) > 174 monadGenRel > 'a1 175 176 val monadGenRel_inv_rect_Type4 : 177 Monad.monad > Monad.monad > monadGenRel > (__ > __ > __ > __ > __ > 178 __ > 'a1) > 'a1 179 180 val monadGenRel_inv_rect_Type3 : 181 Monad.monad > Monad.monad > monadGenRel > (__ > __ > __ > __ > __ > 182 __ > 'a1) > 'a1 183 184 val monadGenRel_inv_rect_Type2 : 185 Monad.monad > Monad.monad > monadGenRel > (__ > __ > __ > __ > __ > 186 __ > 'a1) > 'a1 187 188 val monadGenRel_inv_rect_Type1 : 189 Monad.monad > Monad.monad > monadGenRel > (__ > __ > __ > __ > __ > 190 __ > 'a1) > 'a1 191 192 val monadGenRel_inv_rect_Type0 : 193 Monad.monad > Monad.monad > monadGenRel > (__ > __ > __ > __ > __ > 194 __ > 'a1) > 'a1 195 196 val monadGenRel_jmdiscr : 197 Monad.monad > Monad.monad > monadGenRel > monadGenRel > __ 198 149 199 val res_preserve : monadFunctRel 150 200 151 201 val res_preserve1 : monadFunctRel1 152 202 203 val gen_res_preserve : monadGenRel 204 153 205 val opt_preserve : monadFunctRel 154 206 155 207 val opt_preserve1 : monadFunctRel1 156 208 209 val gen_opt_preserve : monadGenRel 210 157 211 val io_preserve : monadFunctRel 158 212 159 213 val io_preserve1 : monadFunctRel1 160 214 215 val gen_io_preserve : monadGenRel 216
Note: See TracChangeset
for help on using the changeset viewer.