The HashConsAtom structure

The HashConsAtom structure embeds the Atom.atom type as a hash-consed object. It is implemented using the HashConsGroundFn functor.

Synopsis

structure HashConsAtom

type hash_key = Atom.atom
type obj = hash_key HashCons.obj

val mk : hash_key -> obj

type hash_key = Atom.atom: The ground type being hashed.
type obj = hash_key HashCons.obj: The type of hash-consed atoms.
val mk : hash_key -> obj: mk a converts the atom a to a hash-consed object.