bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Value . Make . Set . Tree . Named
val is_subset : named -> of_:named -> unit Base.Or_error.t
val equal : named -> named -> unit Base.Or_error.t