Change.Num_statThe number of lines in diff is not always given by git - indeed sometimes the line of output for this file contains dash '-' characters in lieu of the number of insertions or deletions. According to man git diff this happens for binary files.
val sexp_of_t : t -> Volgo_stdlib.Sexp.tval to_dyn : t -> Volgo_stdlib.Dyn.t