module type Monad_state_type = sig .. end
sig
end
include Deriving_monad.MonadUtilsSig
type state
val get : state m
state m
val put : state -> unit m
state -> unit m
val runState : 'a m -> state -> 'a * state
'a m -> state -> 'a * state