Functor Deriving_monad.Monad_state

module Monad_state: 
functor (S : sig
type state 
end-> Monad_state_type  with type state = S.state
Parameters:
S : sig type state end

include Deriving_monad.MonadUtilsSig
type state 
val get : state m
val put : state -> unit m
val runState : 'a m ->
state ->
'a * state