Module Coqcargs
type compilation_mode=|BuildVo|BuildVio|Vio2Votype 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;}