Module type Datalog.SymbolType

module type SymbolType = sig .. end
A symbol must be hashable, comparable and printable.

include Hashtbl.HashedType
val to_string : t -> string