M.Local
Local state of the machine.
val get : 'a state -> 'a t
get state extracts the state.
get state
val put : 'a state -> 'a -> unit t
put state x saves a machine state
put state x
val update : 'a state -> f:('a -> 'a) -> unit t
update state ~f updates a state using function f.
update state ~f
f