Monad_rws.Make
create an RWS monad from specification C
module type of an RWS monad
type env = C.env
Reader variable type
type out = C.out
Writer variable type
type state = C.state
State variable type
execute state monad with initial environment env
and initial state state