Module Output.CommonSource

Definitions common to output engines

Sourceval opt_show_safe_checks : bool Stdlib.ref

Command-line option to show safe checks

Sourcemodule type OUTPUT = sig ... end
Sourcetype format =
  1. | F_text
  2. | F_json
Sourceval opt_format : format Stdlib.ref
Sourceval opt_file : string option Stdlib.ref
Sourceval opt_display_lastflow : bool Stdlib.ref
Sourceval opt_silent : bool Stdlib.ref