bap-primus

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

Parameters

Signature

val defs : unit -> value Machine.t Primitive.t list