Functor MonadT.ExceptionT


module ExceptionT: 
functor (M : Monad.MONAD) -> sig .. end
Parameters:
M : Monad.MONAD

include MONAD
val raise : string -> 'a t
val trywith : 'a t -> (string -> 'a t) -> 'a t
val lift : 'a M.t -> 'a t