Type Definition sophia::term::RefTerm

type RefTerm<'a> = Term<&'a str>;

Convenient alias for a specialization of Term<T>.

See module documentation for more detail on when to use it.

Trait Implementations

impl<'a> From<&'a str> for RefTerm<'a>

fn from(val: &'a str) -> RefTerm<'a>

Performs the conversion.