Module ATDGenerated.Runstate_t
type infer_version={major : int;minor : int;patch : int;commit : string;}type command= InferCommand.ttype run_info={date : string;command : command;infer_version : infer_version;}type t={run_sequence : run_info list;results_dir_format : string;should_merge_capture : bool;}