bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Lisp . Closure
module type S = functor (Machine : Machine.S) -> sig ... end
type t = (module S)
module Make (Machine : Machine.S) : sig ... end