Functor Deriving_monad.Monad_state

module Monad_state: 
functor (S : sig
type state 
end-> Monad_state_type EU„¤@@@@°ÀGU„¢À
Parameters:
S : =U„¥À>U„

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