Trait aterm::SharedATermFactory

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

Required Methods

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

Implementors

• impl<'t, 's: 't, B: Clone + Hash + Eq> SharedATermFactory<B, &'s str> for ATermFactory<'s, B>