Functor Deriving_monad.Monad_state

module Monad_state: 
functor (S : sig
type state 
end-> Monad_state_type @@@@DUEU
Parameters:
S : ;U@!

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