mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-06 03:05:31 -05:00
49 lines
No EOL
3.2 KiB
HTML
49 lines
No EOL
3.2 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<html>
|
|
<head>
|
|
<link rel="stylesheet" href="style.css" type="text/css">
|
|
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
|
|
<link rel="Start" href="index.html">
|
|
<link rel="previous" href="Smt.Type.html">
|
|
<link rel="next" href="Smt.Variant.html">
|
|
<link rel="Up" href="Smt.html">
|
|
<link title="Index of types" rel=Appendix href="index_types.html">
|
|
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
|
|
<link title="Index of values" rel=Appendix href="index_values.html">
|
|
<link title="Index of modules" rel=Appendix href="index_modules.html">
|
|
<link title="Index of module types" rel=Appendix href="index_module_types.html">
|
|
<link title="Smt" rel="Chapter" href="Smt.html">
|
|
<link title="Hstring" rel="Chapter" href="Hstring.html"><title>Smt.Symbol</title>
|
|
</head>
|
|
<body>
|
|
<div class="navbar"><a href="Smt.Type.html">Previous</a>
|
|
<a href="Smt.html">Up</a>
|
|
<a href="Smt.Variant.html">Next</a>
|
|
</div>
|
|
<center><h1>Module <a href="type_Smt.Symbol.html">Smt.Symbol</a></h1></center>
|
|
<br>
|
|
<pre><span class="keyword">module</span> Symbol: <code class="code">sig</code> <a href="Smt.Symbol.html">..</a> <code class="code">end</code></pre><span id="3_Functionsymbols"><h3>Function symbols</h3></span><br>
|
|
<hr width="100%">
|
|
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = <code class="type"><a href="Hstring.html#TYPEt">Hstring.t</a></code> </pre>
|
|
<div class="info">
|
|
The type of function symbols<br>
|
|
</div>
|
|
|
|
<pre><span id="VALdeclare"><span class="keyword">val</span> declare</span> : <code class="type"><a href="Hstring.html#TYPEt">Hstring.t</a> -> <a href="Smt.Type.html#TYPEt">Smt.Type.t</a> list -> <a href="Smt.Type.html#TYPEt">Smt.Type.t</a> -> unit</code></pre><div class="info">
|
|
<code class="code">declare s [arg_1; ... ; arg_n] out</code> declares a new function
|
|
symbol with type <code class="code"> (arg_1, ... , arg_n) -> out</code><br>
|
|
</div>
|
|
<pre><span id="VALtype_of"><span class="keyword">val</span> type_of</span> : <code class="type"><a href="Smt.Symbol.html#TYPEt">t</a> -> <a href="Smt.Type.html#TYPEt">Smt.Type.t</a> list * <a href="Smt.Type.html#TYPEt">Smt.Type.t</a></code></pre><div class="info">
|
|
<code class="code">type_of x</code> returns the type of x.<br>
|
|
</div>
|
|
<pre><span id="VALhas_abstract_type"><span class="keyword">val</span> has_abstract_type</span> : <code class="type"><a href="Smt.Symbol.html#TYPEt">t</a> -> bool</code></pre><div class="info">
|
|
<code class="code">has_abstract_type x</code> is <code class="code">true</code> if the type of x is abstract.<br>
|
|
</div>
|
|
<pre><span id="VALhas_type_proc"><span class="keyword">val</span> has_type_proc</span> : <code class="type"><a href="Smt.Symbol.html#TYPEt">t</a> -> bool</code></pre><div class="info">
|
|
<code class="code">has_type_proc x</code> is <code class="code">true</code> if x has the type of a process
|
|
identifier.<br>
|
|
</div>
|
|
<pre><span id="VALdeclared"><span class="keyword">val</span> declared</span> : <code class="type"><a href="Smt.Symbol.html#TYPEt">t</a> -> bool</code></pre><div class="info">
|
|
<code class="code">declared x</code> is <code class="code">true</code> if <code class="code">x</code> is already declared.<br>
|
|
</div>
|
|
</body></html> |