-unresolved">Base</span>.option</span></span></code></div><div class="spec-doc"><p>Solve an equation of the form f(x1,..,xn) = c where f is a recursive function and t is a constant. Returns Some list of terms, one for each input of the function f, if the equation admits a solution. Returns None if the equation has no solution.</p></div></div></div></body></html>
