Functor Datalog.Hashcons

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

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