module Exception: sig .. end
sig
end
include Monad.MONAD
val raise : string -> 'a t
string -> 'a t
val failed : 'a t -> bool
'a t -> bool
val trywith : 'a t -> (string -> 'a t) -> 'a t
'a t -> (string -> 'a t) -> 'a t