Trait sophia_api::term::CopyTerm

pub trait CopyTerm: Sized {
    fn copy<T: ?Sized>(term: &T) -> Self
    where
        T: TTerm;
}

A type that can copy any term.

Required methods

fn copy<T: ?Sized>(term: &T) -> Self where
    T: TTerm, 

Copy term into an instance of this type.

Loading content...

Implementors

impl<T> CopyTerm for TestTerm<T> where
    T: for<'x> From<&'x str>, 

fn copy<U: ?Sized>(term: &U) -> Self where
    U: TTerm, 

Loading content...