late_spec_info" class="anchor"></a><code><span class="keyword">val</span> compare_template_spec_info : <a href="index.html#type-template_spec_info">template_spec_info</a> <span>&#45;&gt;</span> <a href="index.html#type-template_spec_info">template_spec_info</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-pp_template_spec_info"><a href="#val-pp_template_spec_info" class="anchor"></a><code><span class="keyword">val</span> pp_template_spec_info : <a href="../