</span>
  <span><span><a href="Env/index.html#type-t">Env.t</a> option</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">F</span>.formatter <span class="arrow">&#45;&gt;</span></span>
  <span><a href="#type-hpred">hpred</a> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div><div class="spec-doc"><p>Pretty print a hpred with optional predicate env</p></div></div><h3 id="functions-for-traversing-sil-data-types"><a href="#functions-for-traversing-sil-da