package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type compilation_mode =
  1. | BuildVo
  2. | BuildVio
  3. | Vio2Vo
type color = [
  1. | `AUTO
  2. | `OFF
  3. | `ON
]
type coq_cmdopts = {
  1. load_init : bool;
  2. load_rcfile : bool;
  3. rcfile : string option;
  4. ml_includes : string list;
  5. vo_includes : (string * Names.DirPath.t * bool) list;
  6. vo_requires : (string * string option * bool option) list;
  7. batch_mode : bool;
  8. compilation_mode : compilation_mode;
  9. toplevel_name : Names.DirPath.t;
  10. compile_list : (string * bool) list;
  11. compilation_output_name : string option;
  12. load_vernacular_list : (string * bool) list;
  13. vio_checking : bool;
  14. vio_tasks : (int list * string) list;
  15. vio_files : string list;
  16. vio_files_j : int;
  17. color : color;
  18. impredicative_set : Declarations.set_predicativity;
  19. stm_flags : Stm.AsyncOpts.stm_opt;
  20. debug : bool;
  21. diffs_set : bool;
  22. time : bool;
  23. filter_opts : bool;
  24. glob_opt : bool;
  25. memory_stat : bool;
  26. print_tags : bool;
  27. print_where : bool;
  28. print_config : bool;
  29. output_context : bool;
  30. print_emacs : bool;
  31. inputstate : string option;
  32. outputstate : string option;
}
val parse_args : string list -> coq_cmdopts * string list
val exitcode : coq_cmdopts -> int