sig
type stage = Early | Extending | Extended | Exiting | Loading | Configuring
val run_after_early_stage : (unit -> unit) -> unit
val run_during_extending_stage : (unit -> unit) -> unit
val run_after_extended_stage : (unit -> unit) -> unit
type exit
val nop : Cmdline.exit
exception Exit
val run_after_exiting_stage : (unit -> Cmdline.exit) -> unit
val run_after_loading_stage : (unit -> unit) -> unit
val is_going_to_load : unit -> unit
val run_after_configuring_stage : (unit -> unit) -> unit
val catch_toplevel_run : (unit -> unit) -> (unit -> unit) -> unit
val parse_and_boot :
(unit -> (unit -> unit) -> unit) -> (unit -> unit) -> unit
val nb_given_options : unit -> int
val use_cmdline_files : (string list -> unit) -> unit
val help : unit -> Cmdline.exit
val plugin_help : string -> Cmdline.exit
val add_plugin : ?short:string -> string -> descr:string -> unit
module Group :
sig
type t
val default : Cmdline.Group.t
val add : plugin:string -> string -> Cmdline.Group.t
val name : Cmdline.Group.t -> string
end
type option_setting =
Unit of (unit -> unit)
| Int of (int -> unit)
| String of (string -> unit)
| String_list of (string list -> unit)
val add_option :
?prefix:bool ->
string ->
plugin:string ->
group:Cmdline.Group.t ->
Cmdline.stage ->
?argname:string ->
descr:string option ->
ext_descr:(unit, Format.formatter, unit) Pervasives.format ->
Cmdline.option_setting -> unit
val debug_level : int
val verbose_level : int
val debug_isset : bool
val verbose_isset : bool
val kernel_debug_level : int
val kernel_verbose_level : int
val quiet : bool
val journal_enable : bool
val journal_name : string
val use_obj : bool
val use_type : bool
end