The HashConsWord structure embeds the word type as a hash-consed object.
It is implemented by directly using the value as the tag and hash key
(i.e., no hash table).
Synopsis
structure HashConsWord
Interface
type hash_key = word
type obj = hash_key HashCons.obj
val mk : hash_key -> obj
Description
type hash_key = word-
The ground type being hashed.
type obj = hash_key HashCons.obj-
The type of hash-consed words.
val mk : hash_key -> obj-
mk wconverts the wordwto a hash-consed object.