Globals.PROGRAM
val command : string
val about : string
val set_verbosity : int -> unit
val get_verbosity : unit -> int
val backtrace_var : string option
val usage : string
val version : string
exception Error of string