Module Output.Common

Definitions common to output engines

val opt_show_safe_checks : bool ref

Command-line option to show safe checks

module type OUTPUT = sig ... end
type format =
  1. | F_text
  2. | F_json
val opt_format : format ref
val opt_file : string option ref
val opt_display_lastflow : bool ref
val opt_silent : bool ref