/span></span>
<span><span><span>(<span class="xref-unresolved">Base</span>.string * <span><a href="../../Lang/Term/index.html#type-variable">Lang.Term.variable</a> <span class="xref-unresolved">Base</span>.list</span> * <a href="../../Lang/Term/index.html#type-term">Lang.Term.term</a>)</span> <span class="xref-unresolved">Base</span>.list</span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Common.ProblemDefs/index.html#type-equation">Common.ProblemDefs.equation</a> <span class="xref-unresol