module Monad_state: functor (S : sig type state end) -> Monad_state_type with type state = S.state
functor (
S
:
sig
type state
end) -> Monad_state_type with type state = S.state
end
) ->
Monad_state_type
with type state = S.state
sig type state end
include Deriving_monad.MonadUtilsSig
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