sig
  type spec = Why3.Getopt.opt
  val desc_debug_list : Debug.Args.spec
  val option_list : unit -> bool
  val desc_debug_all : Debug.Args.spec
  val desc_debug : Debug.Args.spec
  val desc_shortcut :
    string -> Why3.Getopt.key -> Why3.Getopt.doc -> Debug.Args.spec
  val set_flags_selected : ?silent:bool -> unit -> unit
end