module Spec: Cfg_intf.SPEC
Cfg_intf.SPEC
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