The HashConsString structure embeds the string
type as a hash-consed object.
It is implemented using the HashConsGroundFn
functor.
Synopsis
structure HashConsStringInterface
type hash_key = string
type obj = hash_key HashCons.obj
val mk : hash_key -> objDescription
type hash_key = string-
The ground type being hashed.
type obj = hash_key HashCons.obj-
The type of hash-consed strings.
val mk : hash_key -> obj-
mk sconverts the stringsto a hash-consed object.