load_init : bool; |
load_rcfile : bool; |
rcfile : string option; |
ml_includes : Mltop.coq_path list; |
vo_includes : Mltop.coq_path list; |
vo_requires : (string * string option * bool option) list; |
toplevel_name : Stm.interactive_top; |
load_vernacular_list : (string * bool) list; |
batch : bool; |
color : color; |
impredicative_set : Declarations.set_predicativity; |
indices_matter : bool; |
enable_VM : bool; |
native_compiler : native_compiler; |
allow_sprop : bool; |
cumulative_sprop : bool; |
set_options : (Goptions.option_name * option_command) list; |
stm_flags : Stm.AsyncOpts.stm_opt; |
debug : bool; |
diffs_set : bool; |
time : bool; |
filter_opts : bool; |
glob_opt : bool; |
memory_stat : bool; |
print_tags : bool; |
print_where : bool; |
print_config : bool; |
output_context : bool; |
print_emacs : bool; |
inputstate : string option; |