Module Coqcargs

type compilation_mode =
| BuildVo
| BuildVio
| Vio2Vo
type t = {
compilation_mode : compilation_mode;
compile_list : (string * bool) list;
compilation_output_name : string option;
vio_checking : bool;
vio_tasks : (int list * string) list;
vio_files : string list;
vio_files_j : int;
echo : bool;
outputstate : string option;
}
val default : t
val parse : string list -> t