module type SPEC =Specification of grammar entitiessig
..end
type
t
type
nt
type
prod
type
symbol =
| |
NT of |
| |
T of |
val compare_t : t -> t -> int
val compare_nt : nt -> nt -> int
val compare_prod : prod -> prod -> int