bap-primus-print

Prints Primus states and observations
IN THIS PACKAGE
val monitors : string list Config.param
val output : string option Config.param
val rules : string list Config.param
val traceback : int option Config.param