Index of exceptions


E
Error [LogtkType]
Generic error on types.

F
Fail [LogtkUnif]
Raised when a unification/matching attempt fails

I
IllFormedRule [LogtkHORewriting]
IllFormedTerm [LogtkTypedPrologTerm]
IllFormedTerm [LogtkScopedTerm]

K
KindError [LogtkSubsts]

L
LogtkTypeMismatch [LogtkSymbol.ArithOp]
This exception is raised when Arith functions are called on non-numeric values
LogtkUnifyFailure [LogtkTypedPrologTerm]