317 lines
3.3 KiB
HTML
317 lines
3.3 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of CamlinternalMenhirLib.EngineTypes.TABLE</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>CamlinternalMenhirLib.EngineTypes.TABLE</H1>
|
|
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
CamlinternalMenhirLib.EngineTypes.TABLE - no description
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module type</H2>
|
|
|
|
Module type CamlinternalMenhirLib.EngineTypes.TABLE
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module type
|
|
<B>TABLE</B>
|
|
|
|
<BR> =
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type state </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val number </I>
|
|
|
|
:
|
|
<B>state -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type token </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type terminal </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type nonterminal </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type semantic_value </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val token2terminal </I>
|
|
|
|
:
|
|
<B>token -></B>
|
|
|
|
<B>terminal</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val token2value </I>
|
|
|
|
:
|
|
<B>token -></B>
|
|
|
|
<B>semantic_value</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val error_terminal </I>
|
|
|
|
:
|
|
<B>terminal</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val error_value </I>
|
|
|
|
:
|
|
<B>semantic_value</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val foreach_terminal </I>
|
|
|
|
:
|
|
<B>(terminal -> 'a -> 'a) -> 'a -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type production </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val production_index </I>
|
|
|
|
:
|
|
<B>production -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val find_production </I>
|
|
|
|
:
|
|
<B>int -> production</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val default_reduction </I>
|
|
|
|
:
|
|
<B>state -></B>
|
|
|
|
<B>('env -> production -> 'answer) -></B>
|
|
|
|
<B>('env -> 'answer) -> 'env -> 'answer</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val action </I>
|
|
|
|
:
|
|
<B>state -></B>
|
|
|
|
<B>terminal -></B>
|
|
|
|
<B>semantic_value -></B>
|
|
|
|
<B>('env -></B>
|
|
|
|
<B>bool -></B>
|
|
|
|
<B>terminal -></B>
|
|
|
|
<B>semantic_value -></B>
|
|
|
|
<B>state -> 'answer) -></B>
|
|
|
|
<B>('env -> production -> 'answer) -></B>
|
|
|
|
<B>('env -> 'answer) -> 'env -> 'answer</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val goto_nt </I>
|
|
|
|
:
|
|
<B>state -></B>
|
|
|
|
<B>nonterminal -></B>
|
|
|
|
<B>state</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val goto_prod </I>
|
|
|
|
:
|
|
<B>state -></B>
|
|
|
|
<B>production -></B>
|
|
|
|
<B>state</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val maybe_goto_nt </I>
|
|
|
|
:
|
|
<B>state -></B>
|
|
|
|
<B>nonterminal -></B>
|
|
|
|
<B>state option</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val is_start </I>
|
|
|
|
:
|
|
<B>production -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>exception Error </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type semantic_action </I>
|
|
|
|
=
|
|
<B>(state,</B>
|
|
|
|
<B>semantic_value,</B>
|
|
|
|
<B>token)</B>
|
|
|
|
<B>CamlinternalMenhirLib.EngineTypes.env -></B>
|
|
|
|
<B>(state,</B>
|
|
|
|
<B>semantic_value)</B>
|
|
|
|
<B>CamlinternalMenhirLib.EngineTypes.stack</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val semantic_action </I>
|
|
|
|
:
|
|
<B>production -></B>
|
|
|
|
<B>semantic_action</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val may_reduce </I>
|
|
|
|
:
|
|
<B>state -></B>
|
|
|
|
<B>production -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val log </I>
|
|
|
|
:
|
|
<B>bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>module Log : </I>
|
|
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="2"><A HREF="#lbAC">Module type</A><DD>
|
|
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:37 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|