Module Gramlib.Grammar

Functorial interface
type norec
type mayrec
module type S = sig ... end
module type ExtS = sig ... end
module GMake : functor (L : Plexing.S) -> ExtS with type te = L.te and type 'c pattern = 'c L.pattern