dicates/index.html#type-hpred">Predicates.hpred</a> list</span>
          * <span><a href="../Predicates/index.html#type-hpred">Predicates.hpred</a> list</span>
          * <span><a href="../Predicates/index.html#type-hpred">Predicates.hpred</a> list</span>
          * <span><span>(<a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a>)</span> list</span>
          * <span><span>(<a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../../IR/