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, Stdlib.Format.formatter, unit) Stdlib.format -> unit
  val set_group : Cmdline.Group.t -> unit
  val is_invisible : unit -> unit
  val argument_is_function_name : unit -> unit
  val argument_may_be_fundecl : unit -> unit
  val argument_must_be_fundecl : unit -> unit
  val argument_must_be_existing_fun : unit -> unit
  val is_reconfigurable : unit -> unit
  val is_not_reconfigurable : unit -> unit
  val no_category : unit -> unit
  val get_c_ified_functions : string -> Cil_datatype.Kf.Set.t
  val add_function_name_transformation :
    (string -> Cil_datatype.Kf.Set.t) -> unit
  val reset : unit -> unit
  val set_module_name : string -> unit
  val find_kf_by_name : (string -> Cil_types.kernel_function) Stdlib.ref
  val cmdline_stage_ref : Cmdline.stage Stdlib.ref
  val journalize_ref : bool Stdlib.ref
  val negative_option_name_ref : string option Stdlib.ref
  val negative_option_help_ref : string Stdlib.ref
  val unset_option_name_ref : string Stdlib.ref
  val unset_option_help_ref : string Stdlib.ref
  val must_save_ref : bool Stdlib.ref
  val reset_on_copy_ref : bool Stdlib.ref
  val projectify_ref : bool Stdlib.ref
  val optional_help_ref :
    (unit, Stdlib.Format.formatter, unit) Stdlib.format Stdlib.ref
  val argument_is_function_name_ref : bool Stdlib.ref
  val argument_may_be_fundecl_ref : bool Stdlib.ref
  val argument_must_be_fundecl_ref : bool Stdlib.ref
  val argument_must_be_existing_fun_ref : bool Stdlib.ref
  val group_ref : Cmdline.Group.t Stdlib.ref
  val is_reconfigurable_ref : bool option Stdlib.ref
  val is_visible_ref : bool Stdlib.ref
  val module_name_ref : string Stdlib.ref
  val use_category_ref : bool Stdlib.ref
end