sig
val set_cmdline_stage : Cmdline.stage -> unit
val do_not_journalize : unit -> unit
val do_not_projectify : unit -> unit
val do_not_reset_on_copy : unit -> unit
val do_not_save : unit -> unit
val set_negative_option_name : string -> unit
val set_negative_option_help : string -> unit
val set_unset_option_name : string -> unit
val set_unset_option_help : string -> unit
val set_optional_help :
(unit, Format.formatter, unit) Pervasives.format -> unit
val set_group : Cmdline.Group.t -> unit
val is_invisible : unit -> unit
val argument_is_function_name : unit -> unit
val do_iterate : unit -> unit
val do_not_iterate : unit -> unit
val reset : unit -> unit
val set_module_name : string -> unit
val set_function_names : (unit -> string list) -> unit
val set_ast_hook : ((Cil_types.file -> unit) -> unit) -> unit
val init_ast_hooks : (Cil_types.file -> unit) list Pervasives.ref
val apply_ast_hook : (string list -> unit) -> unit
val cmdline_stage_ref : Cmdline.stage Pervasives.ref
val journalize_ref : bool Pervasives.ref
val negative_option_name_ref : string option Pervasives.ref
val negative_option_help_ref : string Pervasives.ref
val unset_option_name_ref : string Pervasives.ref
val unset_option_help_ref : string Pervasives.ref
val must_save_ref : bool Pervasives.ref
val reset_on_copy_ref : bool Pervasives.ref
val projectify_ref : bool Pervasives.ref
val optional_help_ref :
(unit, Format.formatter, unit) Pervasives.format Pervasives.ref
val argument_is_function_name_ref : bool Pervasives.ref
val group_ref : Cmdline.Group.t Pervasives.ref
val do_iterate_ref : bool option Pervasives.ref
val is_visible_ref : bool Pervasives.ref
val module_name_ref : string Pervasives.ref
end