bap-primus-print

Prints Primus states and observations
package bap-primus-print
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library primus_print_plugin
Module Primus_print_main . Param
val monitors : string list Config.param
val output : string option Config.param
val rules : string list Config.param
val traceback : int option Config.param