Trait hashconsing::HashConsign
source · pub trait HashConsign<T: Hash>: Sized {
fn mk_is_new(self, elm: T) -> (HConsed<T>, bool);
fn mk(self, elm: T) -> HConsed<T> { ... }
}
Expand description
HConsed element creation.
Implemented via a trait to be able to extend RwLock
for lazy static
consigns.