instantiate.html 610 Bytes
Newer Older
Sarah Grebing's avatar
Sarah Grebing committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
<!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>
    <li><code>formula</code> : <em>TERM</em> (<em>R</em>)null</li>
    <li><code>var</code> : <em>STRING</em> (<em>R</em>)null</li>
    <li><code>occ</code> : <em>INT</em> (<em>R</em>)null</li>
    <li><code>with</code> : <em>TERM</em> (<em>R</em>)null</li>
</ul>
</body>
</html>