277 lines
3.2 KiB
HTML
277 lines
3.2 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of CamlinternalMenhirLib.InspectionTableInterpreter.Make</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>CamlinternalMenhirLib.InspectionTableInterpreter.Make</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.InspectionTableInterpreter.Make - no description
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module</H2>
|
|
|
|
Module CamlinternalMenhirLib.InspectionTableInterpreter.Make
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module
|
|
<B>Make</B>
|
|
|
|
<BR> :
|
|
<B>functor</B>
|
|
|
|
<B>(TT : TableFormat.TABLES) (IT : sig end) (ET : sig end) (E : sig end) -></B>
|
|
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<B>Parameters:</B>
|
|
|
|
<P>
|
|
"TT"
|
|
<P>
|
|
<B>CamlinternalMenhirLib.TableFormat.TABLES</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
"IT"
|
|
<P>
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
"ET"
|
|
<P>
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
"E"
|
|
<P>
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS</I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>'a</B>
|
|
|
|
<I>lr1state </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type production </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type item </I>
|
|
|
|
=
|
|
<B>production * int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val compare_terminals </I>
|
|
|
|
:
|
|
<B>'a terminal -> 'b terminal -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val compare_nonterminals </I>
|
|
|
|
:
|
|
<B>'a nonterminal -> 'b nonterminal -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val compare_symbols </I>
|
|
|
|
:
|
|
<B>xsymbol -> xsymbol -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val compare_productions </I>
|
|
|
|
:
|
|
<B>production -></B>
|
|
|
|
<B>production -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val compare_items </I>
|
|
|
|
:
|
|
<B>item -></B>
|
|
|
|
<B>item -> int</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val incoming_symbol </I>
|
|
|
|
:
|
|
<B>'a lr1state -> 'a symbol</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val items </I>
|
|
|
|
:
|
|
<B>'a lr1state -></B>
|
|
|
|
<B>item list</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val lhs </I>
|
|
|
|
:
|
|
<B>production -> xsymbol</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val rhs </I>
|
|
|
|
:
|
|
<B>production -> xsymbol list</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val nullable </I>
|
|
|
|
:
|
|
<B>'a nonterminal -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val first </I>
|
|
|
|
:
|
|
<B>'a nonterminal -> 'b terminal -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val xfirst </I>
|
|
|
|
:
|
|
<B>xsymbol -> 'a terminal -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val foreach_terminal </I>
|
|
|
|
:
|
|
<B>(xsymbol -> 'a -> 'a) -> 'a -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val foreach_terminal_but_error </I>
|
|
|
|
:
|
|
<B>(xsymbol -> 'a -> 'a) -> 'a -> 'a</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type </I>
|
|
|
|
<B>'a</B>
|
|
|
|
<I>env </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val feed </I>
|
|
|
|
:
|
|
<B>'a symbol -></B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position -></B>
|
|
|
|
<B>'a -></B>
|
|
|
|
<B>CamlinternalMenhirLib.IncrementalEngine.position -></B>
|
|
|
|
<B>'b env -></B>
|
|
|
|
<B>'b env</B>
|
|
|
|
<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</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>
|