Module Debug.Args

module Args: sig .. end

Command line arguments

type spec = Getopt.opt 
val desc_debug_list : spec

Option for printing the list of debug 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_debug_all : spec

Option for setting all info flags.

val desc_debug : spec

Option for specifying a debug flag to set.

val desc_shortcut : string -> Getopt.key -> Getopt.doc -> spec

Option for setting a specific flag.

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

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