sig
  val stats : bool Pervasives.ref
  type input_format = I_tptp | I_zf | I_guess
  val input_format_of_string : string -> Options.input_format
  type print_format = Print_none | Print_normal | Print_tptp | Print_zf
  val print_format_of_string : string -> Options.print_format
  val input : Options.input_format Pervasives.ref
  val output : Options.print_format Pervasives.ref
  val switch_opt : 'a -> ('a -> unit) -> Arg.spec
  val switch_set : 'a -> 'a Pervasives.ref -> Arg.spec
  val add_opt : string * Arg.spec * string -> unit
  val add_opts : (string * Arg.spec * string) list -> unit
  val make : unit -> (string * Arg.spec * string) list
end