Functor Monad.State


module State: 
functor (S : TYPEWRAPPER) -> sig .. end
state-monad
Parameters:
S : TYPEWRAPPER

include Monad.MONAD
val read_state : S.t t
val write_state : S.t -> unit t
val run_with : 'a t -> S.t -> 'a