Trait aterm::SharedATermFactory
[−]
[src]
pub trait SharedATermFactory<B>: ATermFactory<B> { fn get_shared(&self, value: Self::ATermRef) -> Self::ATermRef
where
Self::ATermRef: Clone,
B: Clone; }
Required Methods
Implementors
impl<B: Clone + Hash + Eq> SharedATermFactory<B> for ATermFactory<B>