module Symbol: sig .. end
sig
end
type t = Syntax.symbol
Syntax.symbol
val compare : t -> t -> int
t -> t -> int
module Set: BatSet.S with type elt = symbol
BatSet.S
with type elt = symbol
module Map: BatMap.S with type key = symbol
BatMap.S
with type key = symbol