Functor GapiMonad.MakeStateMonad

module MakeStateMonad: 
functor (T : sig

type s 

end) -> StateMonad 
    with type 'a t = T.s -> 'a * T.s

include GapiMonad.Monad

val get : 'a -> 'a * 'a

val put : 'a -> 'b -> unit * 'a