Functor WithM.W (.ml)

module W: 
functor (M : MonadError) -> sig .. end

val premap : ('a -> 'b) -> ('b, 'c) withres -> ('a, 'c) withres

val with_identity : ('a, 'a) withres

val bindres : ('a, 'b) withres -> 'a -> ('b -> 'c M.m) -> 'c M.m

val with_alt : ('a, 'b) withres ->
       ('c, 'b) withres -> ('a * 'c, exn option * 'b) withres

type dir_abstract = string 

val with_sys_chdir : (string, dir_abstract) withres