CFG - Library for the Manipulation of Context-Free Grammars
module type SPEC = sig ... end
Specification of grammar entities
module type CFG = sig ... end
Interface to context-free grammars