bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Exn
type t = exn = ..
val to_string : t -> string

returns a textual representation of an error

val add_printer : ( t -> string option ) -> unit

add_printer to_string registers a printer.