<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="Pa_do_nums" rel="Chapter" href="Pa_do_nums.html"> <link title="Pa_infix" rel="Chapter" href="Pa_infix.html"><title>Pa_infix.Level</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> unary<br> <span class="keyword">type</span> binary<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">type</span> arity = <span class="constructor">Unary</span> <span class="keywordsign">|</span> <span class="constructor">Binary</span><br> <span class="keyword">type</span> assoc = <span class="constructor">Camlp4</span>.<span class="constructor">Sig</span>.<span class="constructor">Grammar</span>.assoc = <span class="constructor">NonA</span> <span class="keywordsign">|</span> <span class="constructor">RightA</span> <span class="keywordsign">|</span> <span class="constructor">LeftA</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a precedence =<br> <span class="constructor">Highest</span><br> <span class="keywordsign">|</span> <span class="constructor">Higher</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keywordsign">|</span> <span class="constructor">Lower</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keywordsign">|</span> <span class="constructor">Lowest</span><br> <span class="keyword">exception</span> <span class="constructor">Bad_arity</span><br> <span class="keyword">val</span> compare : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> binary :<br> ?name:string <span class="keywordsign">-></span><br> ?assoc:<span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.assoc <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.precedence <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> unary :<br> ?name:string <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.precedence <span class="keywordsign">-></span><br> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> name : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> arity : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.arity<br> <span class="keyword">val</span> assoc : <span class="keywordsign">'</span>a <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t <span class="keywordsign">-></span> <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.assoc<br> <span class="keyword">val</span> assignment : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> disjunction : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> conjunction : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> comparison : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> concatenation : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> addition : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> multiplication : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> exponentiation : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.binary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">val</span> default_unary : <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.unary <span class="constructor">Pa_infix</span>.<span class="constructor">Level</span>.t<br> <span class="keyword">end</span></code></body></html>