Analysis.Global
Global state shared across all machine clones.
val get : 'a Machine.state -> 'a t
get state
extracts the state.
val put : 'a Machine.state -> 'a -> unit t
put state x
saves a machine state
val update : 'a Machine.state -> f:('a -> 'a) -> unit t
update state ~f
updates a state using function f
.