bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Lisp . Doc . Make . Machine . Other
val get : Machine.id -> 'a Machine.state -> 'a t

get machine state returns the local state of the machine.

val put : Machine.id -> 'a Machine.state -> 'a -> unit t

put machine state sets the local state of the machine.

val update : Machine.id -> 'a Machine.state -> f:( 'a -> 'a ) -> unit t

update machine state ~f maps the local state of the machine.