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
  4. | BuildVos
  5. | BuildVok
type t = {
  1. compilation_mode : compilation_mode;
  2. compile_list : (string * bool) list;
  3. compilation_output_name : string option;
  4. vio_checking : bool;
  5. vio_tasks : (int list * string) list;
  6. vio_files : string list;
  7. vio_files_j : int;
  8. echo : bool;
  9. outputstate : string option;
  10. glob_out : Dumpglob.glob_output;
}
val default : t
val parse : string list -> t