= The `HashConsWord` structure
:Author: John Reppy
:Date: {release-date}
:stem: latexmath
:source-highlighter: pygments
:VERSION: {smlnj-version}

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

[source,sml]
------------
structure HashConsWord
------------

== Interface

[source,sml]
------------
type hash_key = word
type obj = hash_key HashCons.obj

val mk : hash_key -> obj
------------

== Description

`[.kw]#type# hash_key = word`::
  The ground type being hashed.

`[.kw]#type# obj = hash_key HashCons.obj`::
  The type of hash-consed words.

`[.kw]#val# mk : hash_key \-> obj`::
  `mk w` converts the word `w` to a hash-consed object.

== See Also

xref:str-HashCons.adoc[`HashCons`],
xref:hash-cons-lib.adoc[__The HashCons Library__]
