Module type Cfg_intf.SPEC


module type SPEC = sig .. end
Specification of grammar entities

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