The HashConsInt structure embeds the int 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 HashConsInt
Interface
type hash_key = int
type obj = hash_key HashCons.obj
val mk : hash_key -> obj
Description
type hash_key = int-
The ground type being hashed.
type obj = hash_key HashCons.obj-
The type of hash-consed integers.
val mk : hash_key -> obj-
mk nconverts the integernto a hash-consed object.