Functor Deriving_monad.Monad_state

module Monad_state: 
functor (S : sig
type state 
end-> Monad_state_type „¤@@@@°ÀFU„¢ÀGU
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