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