Module Cfg_intf.CFG.Spec


module Spec: Cfg_intf.SPEC 
Specification of grammar elements

type t 
Terminals
type nt 
Nonterminals
type prod 
Productions

type symbol =
| NT of nt
| T of t
val compare_t : t -> t -> int
val compare_nt : nt -> nt -> int
val compare_prod : prod -> prod -> int