Type Definition cop::term::STerm[−][src]

type STerm = Term<String, String>;

Trait Implementations

`impl From<DefinedTerm<'_>> for STerm`[src]

`fn from(tm: DefinedTerm<'_>) -> Self`[src]

`impl From<DefinedTerm<'_>> for STerm`[src]

`fn from(tm: DefinedTerm<'_>) -> Self`[src]

`impl From<FunctionTerm<'_>> for STerm`[src]

`fn from(tm: FunctionTerm<'_>) -> Self`[src]

`impl From<PlainTerm<'_>> for STerm`[src]

`fn from(tm: PlainTerm<'_>) -> Self`[src]

`impl From<Term<'_>> for STerm`[src]

`fn from(tm: Term<'_>) -> Self`[src]