Module Loc.Args

module Args: sig .. end

type spec = Getopt.opt 
val desc_warning_list : spec

Option for printing the list of warning flags.

val option_list : unit -> bool

Print the list of flags if requested (in this case return true). You should run this function after the plugins have been loaded.

val desc_no_warn : spec

Option for specifying a warning flag to set.

val set_flags_selected : ?silent:bool -> unit -> unit

Set the flags selected by warning or a shortcut. When called before the plugins are loaded, pass ~silent:true to prevent errors due to unknown plugin flags.