<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 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="Bnf_spec" rel="Chapter" href="Bnf_spec.html"> <link title="Bnf_parser" rel="Chapter" href="Bnf_parser.html"> <link title="Bnf_lexer" rel="Chapter" href="Bnf_lexer.html"> <link title="Bnf_pp" rel="Chapter" href="Bnf_pp.html"> <link title="Cfg_intf" rel="Chapter" href="Cfg_intf.html"> <link title="Cfg_impl" rel="Chapter" href="Cfg_impl.html"><title>Bnf_spec.Spec</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> t = string<br> <span class="keyword">type</span> nt = string<br> <span class="keyword">type</span> prod = unit<br> <span class="keyword">type</span> symbol = <span class="constructor">NT</span> <span class="keyword">of</span> nt <span class="keywordsign">|</span> <span class="constructor">T</span> <span class="keyword">of</span> t<br> <span class="keyword">val</span> compare_t : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> compare_nt : nt <span class="keywordsign">-></span> nt <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> compare_prod : prod <span class="keywordsign">-></span> prod <span class="keywordsign">-></span> int<br> <span class="keyword">end</span></code></body></html>