bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module type Bap_primus . Std . Primus . Lisp . Closure . S

Parameters

Signature

val run : value list -> value Machine.t

run args performs the computation.