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