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 protect : exn -> string
val catch_at_toplevel : exn -> bool
val catch_toplevel_run :
f:(unit -> unit) ->
quit:bool ->
at_normal_exit:(unit -> unit) -> on_error:(unit -> unit) -> unit
val at_normal_exit : (unit -> unit) -> unit
val run_normal_exit_hook : unit -> unit
val at_error_exit : (unit -> unit) -> unit
val run_error_exit_hook : unit -> unit
val error_occured : unit -> unit
val bail_out : unit -> 'a
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_ref : int Pervasives.ref
val verbose_level_ref : int Pervasives.ref
val kernel_debug_level : int
val kernel_verbose_level : int
val kernel_debug_atleast_ref : (int -> bool) Pervasives.ref
val kernel_verbose_atleast_ref : (int -> bool) Pervasives.ref
val journal_enable : bool
val journal_isset : bool
val journal_name : string
val use_obj : bool
val use_type : bool
val quiet : bool
end