Changeset 2773 for extracted/iOMonad.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/iOMonad.mli

    r2743 r2773  
    106106val bindIO2 : __ -> ('a3 -> 'a4 -> __) -> __
    107107
    108 type ('a,'b,'c,'d) rel_io = __
    109 
    110108val iORel : Monad.monadRel
    111 
    112 type ('a,'b,'c) pred_io = __
    113109
    114110val pred_io_inject : ('a1, 'a2, 'a3) iO -> ('a1, 'a2, 'a3 Types.sig0) iO
     
    133129val err_to_io_sig :
    134130  'a3 Types.sig0 Errors.res -> ('a1, 'a2, 'a3 Types.sig0) iO
    135 
    136 type ('a,'b,'c) p_io = __
    137 
    138 type ('a,'b,'c) p_io' = __
    139131
    140132val io_inject_0 : ('a1, 'a2, 'a3) iO -> ('a1, 'a2, 'a3 Types.sig0) iO
Note: See TracChangeset for help on using the changeset viewer.