Module type Deriving_monad.Monad_state_type

module type Monad_state_type = sig .. end

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