bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Linker . Code . Machine . Id . Set . Named
val is_subset : named -> of_:named -> unit Base.Or_error.t
val equal : named -> named -> unit Base.Or_error.t