Trait sophia_api::term::CopyTerm

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

A type that can copy any term.

Required methods

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

Copy term into an instance of this type.

Implementors

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