bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
val is_subset : named -> of_:named -> unit Base.Or_error.t
val equal : named -> named -> unit Base.Or_error.t