Module type Plugin.S_no_log

module type S_no_log = sig .. end

val add_group : ?memo:bool -> string -> Cmdline.Group.t

Create a new group inside the plug-in. The given string must be different of all the other group names of this plug-in if memo is false. If memo is true the function will either create a fresh group or return an existing group of the same name in the same plugin. memo defaults to false

module Help: Parameter_sig.Bool 
module Verbose: Parameter_sig.Int 
module Debug: Parameter_sig.Int 
module Share: Parameter_sig.Specific_dir 

Handle the specific `share' directory of the plug-in.

module Session: Parameter_sig.Specific_dir 

Handle the specific `session' directory of the plug-in.

module Config: Parameter_sig.Specific_dir 

Handle the specific `config' directory of the plug-in.

val help : Cmdline.Group.t

The group containing option -*-help.

val messages : Cmdline.Group.t

The group containing options -*-debug and -*-verbose.

val add_plugin_output_aliases : ?visible:bool -> ?deprecated:bool -> string list -> unit

Adds aliases to the options -plugin-help, -plugin-verbose, -plugin-log, -plugin-msg-key, and -plugin-warn-key. add_plugin_output_aliases [alias] adds the aliases -alias-help, -alias-verbose, etc.