n></span></code></div><div class="spec-doc"><p>record the occurrences of predicates as parameters of (doubly -)linked lists and Epara. Provides unique numbering for predicates and an iterator.</p></div></div><div class="odoc-spec"><div class="spec value" id="val-pp_hpred_env" class="anchored"><a href="#val-pp_hpred_env" class="anchor"></a><code><span><span class="keyword">val</span> pp_hpred_env : 
  <span><a href="../../IStdlib/Pp/index.html#type-env">IStdlib.Pp.env</a> <span class="arrow">&#45;&gt;</span>