Trait CoreTerm 

pub trait CoreTerm<L: Language>:
    Clone
    + CoreFold<L>
    + CoreParse<L>
    + Ord
    + Eq
    + Hash
    + Debug
    + Upcast<Self>
    + DowncastFrom<Self>
    + 'static
    + Sized { }

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<L: Language, A: CoreTerm<L>, B: CoreTerm<L>> CoreTerm<L> for (A, B)

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Arc<T>

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Option<T>

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Vec<T>

impl<L: Language> CoreTerm<L> for ()

impl<L: Language> CoreTerm<L> for u32

impl<L: Language> CoreTerm<L> for usize

Implementors

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for CoreBinder<L, T>

impl<L: Language, T: CoreTerm<L>> CoreTerm<L> for Set<T>