Trait aterm::SharedATermFactory

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

Required Methods

fn get_shared(&'s self, value: Self::ATermRef) -> Self::ATermRef

Implementors

• impl<'s, B, H> SharedATermFactoryT<'s> for ATermFactory<'s, B, H> where
    B: 's + Clone + Hash + Eq,
    H: 's + BuildHasher + Default,