functor (T : sigtype'a terminal type'a nonterminal end) -> sig type'a symbol = T : 'a T.terminal ->'a symbol |N : 'a T.nonterminal ->'a symbol type xsymbol = X : 'a symbol -> xsymbol end
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.