<!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="Bnf_spec.html"> <link rel="Up" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.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="Cfg_intf" rel="Chapter" href="Cfg_intf.html"> <link title="Cfg_impl" rel="Chapter" href="Cfg_impl.html"> <link title="Bnf_spec" rel="Chapter" href="Bnf_spec.html"> <link title="Bnf_pp" rel="Chapter" href="Bnf_pp.html"><title>Bnf_pp</title> </head> <body> <div class="navbar"><a href="Bnf_spec.html">Previous</a> <a href="index.html">Up</a> </div> <center><h1>Module <a href="type_Bnf_pp.html">Bnf_pp</a></h1></center> <br> <pre><span class="keyword">module</span> Bnf_pp: <code class="code">sig</code> <a href="Bnf_pp.html">..</a> <code class="code">end</code></pre>Pretty-printing functions for BNF-grammars<br> <hr width="100%"> <pre><span class="keyword">val</span> <a name="VALpp_prod"></a>pp_prod : <code class="type">Format.formatter -> Bnf_spec.Bnf.Spec.symbol list -> unit</code></pre><div class="info"> <code class="code">pp_prod ppf syms</code> prettyprint symbols list <code class="code">syms</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_live_prods"></a>pp_live_prods : <code class="type">Format.formatter -> int Bnf_spec.Bnf.ProdMap.t -> unit</code></pre><div class="info"> <code class="code">pp_live_prods ppf syms</code> prettyprint live production map <code class="code">pm</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_nt"></a>pp_nt : <code class="type">Format.formatter -> string -> Bnf_spec.Bnf.ProdSet.t -> unit</code></pre><div class="info"> <code class="code">pp_nt ppf nt ps</code> prettyprint nonterminal <code class="code">nt</code> and its production set <code class="code">ps</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_live_nt"></a>pp_live_nt : <code class="type">Format.formatter -> string -> int * int Bnf_spec.Bnf.ProdMap.t -> unit</code></pre><div class="info"> <code class="code">pp_nt ppf nt di</code> prettyprint live nonterminal <code class="code">nt</code> and its derivation information <code class="code">di</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_nt_map"></a>pp_nt_map : <code class="type">Format.formatter -> Bnf_spec.Bnf.ProdSet.t Bnf_spec.Bnf.NTMap.t -> unit</code></pre><div class="info"> <code class="code">pp_nt_map ppf nts</code> prettyprint map of nonterminals <code class="code">nts</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_live_nts"></a>pp_live_nts : <code class="type">Format.formatter -><br> (int * int Bnf_spec.Bnf.ProdMap.t) Bnf_spec.Bnf.NTMap.t -> unit</code></pre><div class="info"> <code class="code">pp_live_nts ppf nt_di</code> prettyprint map of nonterminal derivation information <code class="code">nt_di</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_ts"></a>pp_ts : <code class="type">Format.formatter -> Bnf_spec.Bnf.TSet.t -> unit</code></pre><div class="info"> <code class="code">pp_ts ppf ts</code> prettyprint set of terminals <code class="code">ts</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_nts"></a>pp_nts : <code class="type">Format.formatter -> Bnf_spec.Bnf.NTSet.t -> unit</code></pre><div class="info"> <code class="code">pp_nts ppf nts</code> prettyprint set of nonterminals <code class="code">nts</code> using prettyprinter <code class="code">ppf</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpp_prods"></a>pp_prods : <code class="type">Format.formatter -> Bnf_spec.Bnf.ProdSet.t -> unit</code></pre><div class="info"> <code class="code">pp_prods ppf prods</code> prettyprint set of productions <code class="code">prods</code> using prettyprinter <code class="code">ppf</code>.<br> </div> </body></html>