pub enum TypeCheckError<T> {
Missmatch(usize, AbstractGroundSort<T>),
Ambiguity(usize),
}Expand description
Functions type check errors.
Variants§
Missmatch(usize, AbstractGroundSort<T>)
The given function argument (given by it’s index) has a wrong type. The second parameter is the expected sort of the argument.
Ambiguity(usize)
There is an ambiguity on the given type parameter (given by it’s index).
To solve the ambiguity, the user should use the (as <term> <sort>) term construction.
Auto Trait Implementations§
impl<T> Freeze for TypeCheckError<T>where
T: Freeze,
impl<T> RefUnwindSafe for TypeCheckError<T>where
T: RefUnwindSafe,
impl<T> Send for TypeCheckError<T>where
T: Send,
impl<T> Sync for TypeCheckError<T>where
T: Sync,
impl<T> Unpin for TypeCheckError<T>where
T: Unpin,
impl<T> UnwindSafe for TypeCheckError<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more