><span><span class="constructor">ImplOK</span> <span class="keyword">of</span> <span><a href="#type-check">check</a> list</span>
          * <a href="../Predicates/index.html#type-subst">Predicates.subst</a>
          * <a href="../Predicates/index.html#type-subst">Predicates.subst</a>
          * <span><a href="../Predicates/index.html#type-hpred">Predicates.hpred</a> list</span>
          * <span><a href="../Predicates/index.html#type-atom">Predicates.atom</a> list</span>
          * <span><a href="../Pre