instantiate.html 734 Bytes
Newer Older
Sarah Grebing's avatar
Sarah Grebing committed
1 2 3 4 5 6 7 8 9 10 11 12 13
<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="UTF-8">
    <title>Auto</title>
</head>
<body>
<h2 id="instantiate">instantiate</h2>
<blockquote>
    <p>Synopsis: <code>instantiate formula=&lt;TERM&gt; var=&lt;STRING&gt; occ=&lt;INT&gt; with=&lt;TERM&gt;</code></p>
</blockquote>
<p><strong>Arguments:</strong></p>
<ul>
14 15 16 17
    <li><code>formula</code> : <em>TERM</em> top-level formula where variables should be instantiated</li>
    <li><code>var</code> : <em>STRING</em> the variable name that shoudl be instantiated</li>
    <li><code>occ</code> : <em>INT</em> occurence of the top-level formula</li>
    <li><code>with</code> : <em>TERM</em> the term with which variables should be instantiated</li>
Sarah Grebing's avatar
Sarah Grebing committed
18
</ul>
19

Sarah Grebing's avatar
Sarah Grebing committed
20 21
</body>
</html>