Trait aterm::SharedATermFactory

pub trait SharedATermFactory<'a, B: 'a>: ATermFactory<'a, B> {
    fn get_shared(&'a self, value: Self::ATermRef) -> Self::ATermRef
    where
        Self::ATermRef: Clone,
        B: Clone;
}

Required Methods

fn get_shared(&'a self, value: Self::ATermRef) -> Self::ATermRef where
    Self::ATermRef: Clone,
    B: Clone, 

Implementors

• impl<'a, B: Clone + Hash + Eq + 'a> SharedATermFactory<'a, B> for ATermFactory<B>