module Hashcons: functor (S : SymbolType) -> sig .. end
functor (
S
:
SymbolType
) ->
sig
end
include BottomUp.SymbolType
val make : S.t -> S.t
S.t -> S.t
Hashcons the symbol