Module z3tracer::error [−][src]
Expand description
Error management.
Structs
| Error | An error together with a position where the error occurred. |
| Position | Record a position in the input stream. |
Enums
| RawError | Raw error cases. |
Type Definitions
| RawResult | Result type based on |
| Result | Result type based on |