pub enum TermError {
NotVar,
NotAbs,
NotApp,
}
Expand description
An error that can be returned when an inapplicable function is applied to a Term
.
the term is not a variable
the term is not an abstraction
the term is not an application
Formats the value using the given formatter. Read more
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
impl<T> Any for T where
T: 'static + ?Sized,
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
impl<T, U> Into<U> for T where
U: From<T>,
The type returned in the event of a conversion error.
The type returned in the event of a conversion error.