Machine.OtherLocal state of other machines.
This module gives access to the state of other machines. It is possible both to pry into others state and even to change their state to enable full intermachine communication. Use this module with care!
val get :
Bap_primus.Std.Primus.Machine.id ->
'a Bap_primus.Std.Primus.Machine.state ->
'a tget machine state returns the local state of the machine.
val put :
Bap_primus.Std.Primus.Machine.id ->
'a Bap_primus.Std.Primus.Machine.state ->
'a ->
unit tput machine state sets the local state of the machine.
val update :
Bap_primus.Std.Primus.Machine.id ->
'a Bap_primus.Std.Primus.Machine.state ->
f:('a -> 'a) ->
unit tupdate machine state ~f maps the local state of the machine.