pub trait HashConsed { type Inner; }
Internal trait used to recognize hashconsed things.
The only purpose of this trait (currently) is to simplify the type signature of the collections of hashconsed things.
Elements stored inside a hashconsed value.