bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Value . Make . Machine . Local
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.