escape</p></div></div><div class="odoc-spec"><div class="spec value" id="val-empty_summary" class="anchored"><a href="#val-empty_summary" class="anchor"></a><code><span><span class="keyword">val</span> empty_summary : <a href="#type-summary">summary</a></span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-pp_summary" class="anchored"><a href="#val-pp_summary" class="anchor"></a><code><span><span class="keyword">val</span> pp_summary : <span><span class="xref-unresolved">F</span>.f