1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92
|
<!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">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="Start" href="index.html">
<link rel="previous" href="CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.html">
<link rel="next" href="CamlinternalMenhirLib.IncrementalEngine.EVERYTHING.html">
<link rel="Up" href="CamlinternalMenhirLib.IncrementalEngine.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="Arg_helper" rel="Chapter" href="Arg_helper.html">
<link title="Ast_helper" rel="Chapter" href="Ast_helper.html">
<link title="Ast_invariants" rel="Chapter" href="Ast_invariants.html">
<link title="Ast_iterator" rel="Chapter" href="Ast_iterator.html">
<link title="Ast_mapper" rel="Chapter" href="Ast_mapper.html">
<link title="Asttypes" rel="Chapter" href="Asttypes.html">
<link title="Attr_helper" rel="Chapter" href="Attr_helper.html">
<link title="Build_path_prefix_map" rel="Chapter" href="Build_path_prefix_map.html">
<link title="Builtin_attributes" rel="Chapter" href="Builtin_attributes.html">
<link title="CamlinternalMenhirLib" rel="Chapter" href="CamlinternalMenhirLib.html">
<link title="Ccomp" rel="Chapter" href="Ccomp.html">
<link title="Clflags" rel="Chapter" href="Clflags.html">
<link title="Compiler_libs" rel="Chapter" href="Compiler_libs.html">
<link title="Config" rel="Chapter" href="Config.html">
<link title="Consistbl" rel="Chapter" href="Consistbl.html">
<link title="Depend" rel="Chapter" href="Depend.html">
<link title="Docstrings" rel="Chapter" href="Docstrings.html">
<link title="Domainstate" rel="Chapter" href="Domainstate.html">
<link title="Identifiable" rel="Chapter" href="Identifiable.html">
<link title="Int_replace_polymorphic_compare" rel="Chapter" href="Int_replace_polymorphic_compare.html">
<link title="Lexer" rel="Chapter" href="Lexer.html">
<link title="Load_path" rel="Chapter" href="Load_path.html">
<link title="Location" rel="Chapter" href="Location.html">
<link title="Longident" rel="Chapter" href="Longident.html">
<link title="Misc" rel="Chapter" href="Misc.html">
<link title="Numbers" rel="Chapter" href="Numbers.html">
<link title="Parse" rel="Chapter" href="Parse.html">
<link title="Parser" rel="Chapter" href="Parser.html">
<link title="Parsetree" rel="Chapter" href="Parsetree.html">
<link title="Pparse" rel="Chapter" href="Pparse.html">
<link title="Pprintast" rel="Chapter" href="Pprintast.html">
<link title="Printast" rel="Chapter" href="Printast.html">
<link title="Profile" rel="Chapter" href="Profile.html">
<link title="Strongly_connected_components" rel="Chapter" href="Strongly_connected_components.html">
<link title="Syntaxerr" rel="Chapter" href="Syntaxerr.html">
<link title="Targetint" rel="Chapter" href="Targetint.html">
<link title="Terminfo" rel="Chapter" href="Terminfo.html">
<link title="Warnings" rel="Chapter" href="Warnings.html"><title>CamlinternalMenhirLib.IncrementalEngine.INSPECTION</title>
</head>
<body>
<div class="navbar"><a class="pre" href="CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.html" title="CamlinternalMenhirLib.IncrementalEngine.SYMBOLS">Previous</a>
<a class="up" href="CamlinternalMenhirLib.IncrementalEngine.html" title="CamlinternalMenhirLib.IncrementalEngine">Up</a>
<a class="post" href="CamlinternalMenhirLib.IncrementalEngine.EVERYTHING.html" title="CamlinternalMenhirLib.IncrementalEngine.EVERYTHING">Next</a>
</div>
<h1>Module type <a href="type_CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html">CamlinternalMenhirLib.IncrementalEngine.INSPECTION</a></h1>
<pre><span id="MODULETYPEINSPECTION"><span class="keyword">module type</span> INSPECTION</span> = <code class="code"><span class="keyword">sig</span></code> <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><hr width="100%">
<pre><span class="keyword">include</span> <a href="CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.html">CamlinternalMenhirLib.IncrementalEngine.SYMBOLS</a></pre>
<pre><span id="TYPElr1state"><span class="keyword">type</span> <code class="type">'a</code> lr1state</span> </pre>
<pre><span id="TYPEproduction"><span class="keyword">type</span> <code class="type"></code>production</span> </pre>
<pre><span id="TYPEitem"><span class="keyword">type</span> <code class="type"></code>item</span> = <code class="type"><a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEproduction">production</a> * int</code> </pre>
<pre><span id="VALcompare_terminals"><span class="keyword">val</span> compare_terminals</span> : <code class="type">'a terminal -> 'b terminal -> int</code></pre>
<pre><span id="VALcompare_nonterminals"><span class="keyword">val</span> compare_nonterminals</span> : <code class="type">'a nonterminal -> 'b nonterminal -> int</code></pre>
<pre><span id="VALcompare_symbols"><span class="keyword">val</span> compare_symbols</span> : <code class="type">xsymbol -> xsymbol -> int</code></pre>
<pre><span id="VALcompare_productions"><span class="keyword">val</span> compare_productions</span> : <code class="type"><a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEproduction">production</a> -><br> <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEproduction">production</a> -> int</code></pre>
<pre><span id="VALcompare_items"><span class="keyword">val</span> compare_items</span> : <code class="type"><a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEitem">item</a> -><br> <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEitem">item</a> -> int</code></pre>
<pre><span id="VALincoming_symbol"><span class="keyword">val</span> incoming_symbol</span> : <code class="type">'a <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPElr1state">lr1state</a> -> 'a symbol</code></pre>
<pre><span id="VALitems"><span class="keyword">val</span> items</span> : <code class="type">'a <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPElr1state">lr1state</a> -><br> <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEitem">item</a> list</code></pre>
<pre><span id="VALlhs"><span class="keyword">val</span> lhs</span> : <code class="type"><a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEproduction">production</a> -> xsymbol</code></pre>
<pre><span id="VALrhs"><span class="keyword">val</span> rhs</span> : <code class="type"><a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEproduction">production</a> -> xsymbol list</code></pre>
<pre><span id="VALnullable"><span class="keyword">val</span> nullable</span> : <code class="type">'a nonterminal -> bool</code></pre>
<pre><span id="VALfirst"><span class="keyword">val</span> first</span> : <code class="type">'a nonterminal -> 'b terminal -> bool</code></pre>
<pre><span id="VALxfirst"><span class="keyword">val</span> xfirst</span> : <code class="type">xsymbol -> 'a terminal -> bool</code></pre>
<pre><span id="VALforeach_terminal"><span class="keyword">val</span> foreach_terminal</span> : <code class="type">(xsymbol -> 'a -> 'a) -> 'a -> 'a</code></pre>
<pre><span id="VALforeach_terminal_but_error"><span class="keyword">val</span> foreach_terminal_but_error</span> : <code class="type">(xsymbol -> 'a -> 'a) -> 'a -> 'a</code></pre>
<pre><span id="TYPEenv"><span class="keyword">type</span> <code class="type">'a</code> env</span> </pre>
<pre><span id="VALfeed"><span class="keyword">val</span> feed</span> : <code class="type">'a symbol -><br> <a href="CamlinternalMenhirLib.IncrementalEngine.html#TYPEposition">CamlinternalMenhirLib.IncrementalEngine.position</a> -><br> 'a -><br> <a href="CamlinternalMenhirLib.IncrementalEngine.html#TYPEposition">CamlinternalMenhirLib.IncrementalEngine.position</a> -><br> 'b <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEenv">env</a> -><br> 'b <a href="CamlinternalMenhirLib.IncrementalEngine.INSPECTION.html#TYPEenv">env</a></code></pre></body></html>
|