← Back to branch summary

~ubuntu-branches/ubuntu/hardy/ocaml-doc/hardy

« back to all changes in this revision

Viewing changes to camlp4.html/lib/type_Grammar.html

  • Committer: Bazaar Package Importer
  • Author(s): Samuel Mimram
  • Date: 2007-09-08 01:49:22 UTC
  • mfrom: (0.1.3 upstream)
  • Revision ID: james.westby@ubuntu.com-20070908014922-lvihyehz0ndq7suu
Tags: 3.10-1
* New upstream release.
* Removed camlp4 documentation since it is not up-to-date.
* Updated to standards version 3.7.2, no changes needed.
* Updated my email address.

Show diffs side-by-side

added added

removed removed

Lines of Context:
camlp4.html/lib/type_Grammar.html
1
 
<html><head>
2
 
<link rel="stylesheet" href="style.css" type="text/css">
3
 
<link rel="Start" href="index.html">
4
 
<link title="Index of types" rel=Appendix href="index_types.html">
5
 
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
6
 
<link title="Index of values" rel=Appendix href="index_values.html">
7
 
<link title="Index of modules" rel=Appendix href="index_modules.html">
8
 
<link title="Index of module types" rel=Appendix href="index_module_types.html">
9
 
<link title="Grammar" rel="Chapter" href="Grammar.html">
10
 
<link title="Extfun" rel="Chapter" href="Extfun.html">
11
 
<link title="Pcaml" rel="Chapter" href="Pcaml.html">
12
 
<link title="Plexer" rel="Chapter" href="Plexer.html">
13
 
<link title="Quotation" rel="Chapter" href="Quotation.html">
14
 
<link title="Token" rel="Chapter" href="Token.html">
15
 
<link title="Stdpp" rel="Chapter" href="Stdpp.html"><title>Grammar</title>
16
 
</head>
17
 
<body>
18
 
<code class="code"><span class="keyword">sig</span><br>
19
 
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;g<br>
20
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;gcreate&nbsp;:&nbsp;<span class="constructor">Token</span>.t&nbsp;<span class="constructor">Token</span>.glexer&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.g<br>
21
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;tokens&nbsp;:&nbsp;<span class="constructor">Grammar</span>.g&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(string&nbsp;*&nbsp;int)&nbsp;list<br>
22
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;glexer&nbsp;:&nbsp;<span class="constructor">Grammar</span>.g&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Token</span>.t&nbsp;<span class="constructor">Token</span>.glexer<br>
23
 
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Entry</span>&nbsp;:<br>
24
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
25
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;e<br>
26
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;create&nbsp;:&nbsp;<span class="constructor">Grammar</span>.g&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
27
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;char&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
28
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse_token&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Token</span>.t&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
29
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;name&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
30
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_parser&nbsp;:<br>
31
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Grammar</span>.g&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="constructor">Token</span>.t&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
32
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;print&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
33
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;find&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Obj</span>.t&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
34
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">external</span>&nbsp;obj&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Token</span>.t&nbsp;<span class="constructor">Gramext</span>.g_entry<br>
35
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;<span class="string">"%identity"</span><br>
36
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
37
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_entry&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.g<br>
38
 
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Unsafe</span>&nbsp;:<br>
39
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
40
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;gram_reinit&nbsp;:&nbsp;<span class="constructor">Grammar</span>.g&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Token</span>.t&nbsp;<span class="constructor">Token</span>.glexer&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
41
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;clear_entry&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
42
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
43
 
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="keyword">type</span>&nbsp;<span class="constructor">GLexerType</span>&nbsp;=<br>
44
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span>&nbsp;<span class="keyword">type</span>&nbsp;te&nbsp;<span class="keyword">val</span>&nbsp;lexer&nbsp;:&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">GLexerType</span>.te&nbsp;<span class="constructor">Token</span>.glexer&nbsp;<span class="keyword">end</span><br>
45
 
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="keyword">type</span>&nbsp;<span class="constructor">S</span>&nbsp;=<br>
46
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
47
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;te<br>
48
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">and</span>&nbsp;parsable<br>
49
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parsable&nbsp;:&nbsp;char&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.parsable<br>
50
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;tokens&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(string&nbsp;*&nbsp;int)&nbsp;list<br>
51
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;glexer&nbsp;:&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Token</span>.glexer<br>
52
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Entry</span>&nbsp;:<br>
53
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
54
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;e<br>
55
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;create&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e<br>
56
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.parsable&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
57
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse_token&nbsp;:<br>
58
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
59
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;name&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
60
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_parser&nbsp;:<br>
61
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e<br>
62
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;print&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
63
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">external</span>&nbsp;obj&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Gramext</span>.g_entry<br>
64
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;<span class="string">"%identity"</span><br>
65
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
66
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Unsafe</span>&nbsp;:<br>
67
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
68
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;gram_reinit&nbsp;:&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Token</span>.glexer&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
69
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;clear_entry&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
70
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
71
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;extend&nbsp;:<br>
72
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span><br>
73
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Gramext</span>.position&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span><br>
74
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(string&nbsp;option&nbsp;*&nbsp;<span class="constructor">Gramext</span>.g_assoc&nbsp;option&nbsp;*<br>
75
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Gramext</span>.g_symbol&nbsp;list&nbsp;*&nbsp;<span class="constructor">Gramext</span>.g_action)&nbsp;list)<br>
76
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
77
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;delete_rule&nbsp;:<br>
78
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Gramext</span>.g_symbol&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
79
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
80
 
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">GMake</span>&nbsp;:<br>
81
 
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">functor</span>&nbsp;(<span class="constructor">L</span>&nbsp;:&nbsp;<span class="constructor">GLexerType</span>)&nbsp;<span class="keywordsign">-&gt;</span><br>
82
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
83
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;te&nbsp;=&nbsp;<span class="constructor">L</span>.te<br>
84
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">and</span>&nbsp;parsable<br>
85
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parsable&nbsp;:&nbsp;char&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.parsable<br>
86
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;tokens&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(string&nbsp;*&nbsp;int)&nbsp;list<br>
87
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;glexer&nbsp;:&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Token</span>.glexer<br>
88
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Entry</span>&nbsp;:<br>
89
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
90
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;e<br>
91
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;create&nbsp;:&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e<br>
92
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.parsable&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
93
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;parse_token&nbsp;:<br>
94
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
95
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;name&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
96
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;of_parser&nbsp;:<br>
97
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;string&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Stream</span>.t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e<br>
98
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;print&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
99
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">external</span>&nbsp;obj&nbsp;:<br>
100
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Gramext</span>.g_entry<br>
101
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=&nbsp;<span class="string">"%identity"</span><br>
102
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
103
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">Unsafe</span>&nbsp;:<br>
104
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
105
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;gram_reinit&nbsp;:&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Token</span>.glexer&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
106
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;clear_entry&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
107
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
108
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;extend&nbsp;:<br>
109
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span><br>
110
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Gramext</span>.position&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span><br>
111
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(string&nbsp;option&nbsp;*&nbsp;<span class="constructor">Gramext</span>.g_assoc&nbsp;option&nbsp;*<br>
112
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Gramext</span>.g_symbol&nbsp;list&nbsp;*&nbsp;<span class="constructor">Gramext</span>.g_action)&nbsp;list)<br>
113
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
114
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;delete_rule&nbsp;:<br>
115
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.<span class="constructor">Entry</span>.e&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Grammar</span>.<span class="constructor">S</span>.te&nbsp;<span class="constructor">Gramext</span>.g_symbol&nbsp;list&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
116
 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
117
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;error_verbose&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
118
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;warning_verbose&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
119
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;strict_parsing&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
120
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;print_entry&nbsp;:&nbsp;<span class="constructor">Format</span>.formatter&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Gramext</span>.g_entry&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
121
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;iter_entry&nbsp;:&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Gramext</span>.g_entry&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Gramext</span>.g_entry&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
122
 
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;fold_entry&nbsp;:<br>
123
 
&nbsp;&nbsp;&nbsp;&nbsp;(<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Gramext</span>.g_entry&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>b&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>b)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="constructor">Gramext</span>.g_entry&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>b&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>b<br>
124
 
<span class="keyword">end</span></code></body></html>
 
 
b'\\ No newline at end of file'