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 -> intval compare_nt : nt -> nt -> intval compare_prod : prod -> prod -> int