Module type Monad.Monad_state_type

module type Monad_state_type = sig .. end

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