Functor BottomUp.Hashcons

module Hashcons: 
functor (S : SymbolType) -> sig .. end
Parameters:
S : SymbolType

include BottomUp.SymbolType
val make : S.t -> S.t
Hashcons the symbol