Ignore:
Timestamp:
Apr 2, 2013, 1:25:09 AM (7 years ago)
Author:
sacerdot
Message:

New extraction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/extraMonads.mli

    r2829 r3059  
    147147  Monad.monad -> Monad.monad -> monadFunctRel1 -> monadFunctRel1 -> __
    148148
     149type monadGenRel =
     150| Mk_MonadGenRel
     151
     152val monadGenRel_rect_Type4 :
     153  Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
     154  monadGenRel -> 'a1
     155
     156val monadGenRel_rect_Type5 :
     157  Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
     158  monadGenRel -> 'a1
     159
     160val monadGenRel_rect_Type3 :
     161  Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
     162  monadGenRel -> 'a1
     163
     164val monadGenRel_rect_Type2 :
     165  Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
     166  monadGenRel -> 'a1
     167
     168val monadGenRel_rect_Type1 :
     169  Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
     170  monadGenRel -> 'a1
     171
     172val monadGenRel_rect_Type0 :
     173  Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
     174  monadGenRel -> 'a1
     175
     176val monadGenRel_inv_rect_Type4 :
     177  Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
     178  __ -> 'a1) -> 'a1
     179
     180val monadGenRel_inv_rect_Type3 :
     181  Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
     182  __ -> 'a1) -> 'a1
     183
     184val monadGenRel_inv_rect_Type2 :
     185  Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
     186  __ -> 'a1) -> 'a1
     187
     188val monadGenRel_inv_rect_Type1 :
     189  Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
     190  __ -> 'a1) -> 'a1
     191
     192val monadGenRel_inv_rect_Type0 :
     193  Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
     194  __ -> 'a1) -> 'a1
     195
     196val monadGenRel_jmdiscr :
     197  Monad.monad -> Monad.monad -> monadGenRel -> monadGenRel -> __
     198
    149199val res_preserve : monadFunctRel
    150200
    151201val res_preserve1 : monadFunctRel1
    152202
     203val gen_res_preserve : monadGenRel
     204
    153205val opt_preserve : monadFunctRel
    154206
    155207val opt_preserve1 : monadFunctRel1
    156208
     209val gen_opt_preserve : monadGenRel
     210
    157211val io_preserve : monadFunctRel
    158212
    159213val io_preserve1 : monadFunctRel1
    160214
     215val gen_io_preserve : monadGenRel
     216
Note: See TracChangeset for help on using the changeset viewer.