let text_of_entries out entries =
out "(** MatchConclusion: results of the term inspection **)\n";
let text_of_entry (u, b, v) =
let text_of_entries out entries =
out "(** MatchConclusion: results of the term inspection **)\n";
let text_of_entry (u, b, v) =