structure HashCons
structure HashConsAtom
structure HashConsMap
structure HashConsString
structure HashConsSet
functor HashConsGroundFn
