bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
type 'a t
val create : ?docs:string -> string -> ( value list -> 'a ) -> 'a t