A | |
| AlreadyDeclared [Signature] | |
| ApplyError [Type] |
Error raised when
Type.apply fails
|
| Attr_skolem [Skolem] | |
E | |
| Error [Cnf] | |
| Error [TypeInference] | |
| Error [Util] |
generalist error that do not really belong elsewhere.
|
| Error [Type.Conv] | |
F | |
| Fail [Unif] |
Raised when a unification/matching attempt fails
|
I | |
| IllFormedTerm [TypedSTerm] | |
| IllFormedTerm [InnerTerm] | |
| InconsistentBinding [Substs] | |
| InvalidDecl [Ind_ty] | |
N | |
| NotALit [SLiteral] | |
| NotAnInductiveConstructor [Ind_ty] | |
| NotAnInductiveType [Ind_ty] | |
| NotCNF [Cnf] | |
P | |
| Parse_error [UntypedAST] | |
| Payload_ind_constant [Ind_ty] | |
| Payload_ind_cstor [Ind_ty] | |
| Payload_ind_projector [Ind_ty] | |
| Payload_ind_type [Ind_ty] | |
T | |
| TypeMismatch [Builtin.ArithOp] |
This exception is raised when Arith functions are called
on non-numeric values
|
U | |
| UnifyFailure [TypedSTerm] |