">IStdlib.PrettyPrintable.PPSet</a>
  <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../../IStdlib/PrettyPrintable/module-type-PPSet/index.html#type-elt">elt</a> = <a href="../../../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a></span>
  <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../../IStdlib/PrettyPrintable/module-type-PPSet/index.html#type-t">t</a> = <a href="../../../IR/Procdesc/NodeSet/index.html#type-t">IR.Pr