bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Value . Cache
val load : Regular.Std.digest -> t option

load id load data previously stored under give id

val save : Regular.Std.digest -> t -> unit

save id data store data under given id. If something is already stored, then it will be overwritten.