Index of exceptions

A
AmbiguousPath [Env]
Arg_error [Args_wrapper]
Arg_expected [Args_wrapper]
Arg_expected_none [Args_wrapper]
Arg_parse_type_error [Args_wrapper]
Arg_pr_not_found [Args_wrapper]
Arg_qid_not_found [Args_wrapper]
Arg_theory_not_found [Args_wrapper]
AssignPrivate [Ity]
AssignSnapshot [Ity]
B
BadArity [Term]
BadConstructor [Decl]
BadCopyPaste [Controller_itp.Make]
BadFloatSpec [Ty]
BadGhostWrite [Ity]
BadID [Session_itp]
BadInstance [Theory]
BadItyArity [Ity]
BadLogicDecl [Decl]
BadMetaArity [Theory]
BadRecordCons [Decl]
BadRecordField [Decl]
BadRecordType [Decl]
BadRecordUnnamed [Decl]
BadRegArity [Ity]
BadSyntaxKind [Printer]
BadTypeArity [Ty]
Bad_name_table [Trans]
BoolExpected [Rc]	`BoolExpected key value` is raised if a boolean was expected.
C
CannotInstantiate [Theory]
CannotOpen [Rc]
CannotRunBisectionOn [Controller_itp.Make]
ClashIdent [Decl]
ClashSymbol [Theory]
CloseTheory [Theory]
ConfigFailure [Whyconf]
ConstructorExpected [Term]
ConstructorExpected [Expr]
D
DuplicateField [Rc]	`DuplicateField key` is raised if the field `key` appears more than once.
DuplicateField [Ity]
DuplicateRecordField [Decl]
DuplicateRegion [Ity]
DuplicateSection [Rc]	`DuplicateSection name` is raised if there are more than one section named `name`.
DuplicateShortcut [Whyconf]
DuplicateTypeVar [Ty]
DuplicateVar [Term]
E
EmptyAlgDecl [Decl]
EmptyCase [Term]
EmptyDecl [Decl]
EmptyIndDecl [Decl]
EmptyRange [Ty]
EmptyRecord [Decl]
Errors_list [Controller_itp]
ExceptionLeak [Expr]
ExtraParameters [Rc]	`ExtraParameters name` is raised when a section named `name` has a parameter or when a family named `name` has more than one parameter.
F
Fail [Pinterp_core]	Caused by invalid assertions
FieldExpected [Expr]
FloatConflict [Theory]
FmlaExpected [Term]
FoldSkip [Util]
FunctionSymbolExpected [Term]
G
GetoptFailure [Getopt]
GhostDivergence [Ity]
GoalFound [Task]
GoalNodeDetached [Controller_itp.Make]
GoalNotFound [Task]
I
IllFormedWf [Theory]
IllegalAlias [Ity]
IllegalAssign [Ity]
IllegalFlagTrans [Trans]
IllegalSnapshot [Ity]
IllegalTypeAlias [Decl]
IllegalTypeParameters [Ty]
IllegalUpdate [Ity]
ImpureVariable [Ity]
IncompatibleNotation [Pmodule]
Incomplete [Pinterp_core]	Raised when the execution in `Pinterp` is incomplete (not implemented or not possible), or when a check cannot be decided during the RAC.
IntExpected [Rc]	`IntExpected key value` is raised if an integer was expected.
InvalidConstantLiteral [Number]
InvalidFormat [Env]
InvalidIndDecl [Decl]
InvalidIntegerLiteralType [Term]
InvalidRealLiteralType [Term]
InvalidStringLiteralType [Term]
K
KnownFormat [Env]
KnownIdent [Decl]
KnownMeta [Theory]
KnownTrans [Trans]
L
LemmaFound [Task]
LibraryConflict [Env]
LibraryNotFound [Env]
Located [Loc]
M
Message [Loc]
MetaTypeMismatch [Theory]
MissingField [Rc]	`MissingField key` is raised if the field `key` is required but not given.
MissingParameters [Rc]	`MissingParameters name` is raised if a family named `name` has no parameters.
ModuleNotFound [Pmodule]
N
NoOpenedNamespace [Theory]
NoProgress [Session_itp]
NoTerminationProof [Decl]
NonFoundedTypeDecl [Decl]
NonLocal [Theory]
NonPositiveIndDecl [Decl]
NonPositiveTypeDecl [Decl]
NonRepresentableFloat [Number]
NotExclusiveMeta [Task]
NotImplemented [Printer]
NotTaggingMeta [Task]
Not_Implemented [Mlmpfr_wrapper]
O
OutOfRange [Number]
P
ParseFilterProver [Whyconf]
Parse_error [Args_wrapper]
PredicateSymbolExpected [Term]
ProvedWfConflict [Theory]
ProverAmbiguity [Whyconf]
ProverNotFound [Whyconf]
R
RangeConflict [Theory]
RecordFieldMissing [Decl]
RedeclaredIdent [Decl]
RemoveError [Session_itp]
S
StaleVariable [Ity]
StringExpected [Rc]	`StringExpected key value` is raised if a string was expected.
Stuck [Pinterp_core]	Caused by invalid assumptions
SyntaxErrorFile [Rc]
T
TermExpected [Term]
TheoryNotFound [Env]
TransFailure [Trans]
TypeMismatch [Ty]
TypeMismatch [Ity]
U
UnboundRegion [Ity]
UnboundTypeVar [Ty]
UnboundVar [Decl]
UncoveredVar [Term]
UnexpectedProjOrConstr [Decl]
UnexpectedProp [Ty]
UnknownExtension [Env]
UnknownField [Rc]	`UnknownField key` is raised when an unexpected field `key` appears in a section.
UnknownFlagTrans [Trans]
UnknownFormat [Env]
UnknownIdent [Decl]
UnknownMeta [Theory]
UnknownTrans [Trans]
Unnecessary_arguments [Trans]
UnspecifiedFormat [Env]
Unsupported [Printer]	This exception must be raised only inside a call of one of the catch_* functions below
UnsupportedDecl [Printer]
UnsupportedTerm [Printer]
UnsupportedType [Printer]
W
WriteImmutable [Ity]