Trait hashconsing::HConser

pub trait HConser<T: Hash> {
    fn mk(self, elm: T) -> HConsed<T>;
}

HConsed element creation.

Required Methods

fn mk(self, elm: T) -> HConsed<T>

Creates a HConsed element.

Implementors

• impl<'a, T: Hash + Eq + Clone> HConser<T> for &'a mut HashConsign<T>
• impl<'a, T: Hash + Eq + Clone> HConser<T> for &'a RwLock<HashConsign<T>>