trivial_kernel/
error.rs

1#[derive(Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Hash)]
2pub enum Kind {
3    InvalidHeapIndex,
4    InvalidProofIndex,
5    InvalidTheorem,
6    InvalidStoreIndex,
7    InvalidStoreType,
8    InvalidTerm,
9    InvalidStoreExpr,
10    InvalidSort,
11    InvalidBinderIndices,
12    InvalidUnifyCommandIndex,
13    InvalidStackType,
14    IncompatibleTypes,
15    DependencyOverflow,
16    UnifyStackUnderflow,
17    CantSaveConvertabilityObligation,
18    UnifyRefFailure,
19    UnifyTermFailure,
20    ProofStackUnderflow,
21    SortNotProvable,
22    SortIsStrict,
23    SortIsPure,
24    StackHasMoreThanOne,
25    UnaccountedDependencies,
26    BadReturnType,
27    TypeError,
28    TooManyBoundVariables,
29    HypStackUnderflow,
30    DummyCommandInTheorem,
31    CongUnifyError,
32    BindDep,
33    DisjointVariableViolation,
34    UnknownCommand,
35    UnfinishedHypStack,
36    UnfinishedUnifyStack,
37    HypInDefStatement,
38    InvalidOpcodeInDef,
39    Impossible,
40    TheoremOutOfRange,
41    TermOutOfRange,
42    SortOutOfRange,
43    StreamExhausted,
44    MissingProofStream,
45}
46
47/// A typedef for the result from a kernel method.
48pub type KResult<O = ()> = Result<O, Kind>;