Module Gramlib.Grammar

Functorial interface
module type GLexerType = Plexing.Lexer

The input signature for the functor Grammar.GMake: te is the type of the tokens.

type ty_norec =
| TyNoRec
type ty_mayrec =
| TyMayRec
module type S = sig ... end

Signature type of the functor Grammar.GMake. The types and functions are almost the same than in generic interface, but:

module GMake : functor (L : GLexerType) -> S with type te = L.te and type 'c pattern = 'c L.pattern