The HashConsAtom structure embeds the Atom.atom
type as a hash-consed object.
It is implemented using the HashConsGroundFn
functor.
Synopsis
structure HashConsAtom
Interface
type hash_key = Atom.atom
type obj = hash_key HashCons.obj
val mk : hash_key -> obj
Description
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 aconverts the atomato a hash-consed object.