Module z3tracer::error [−][src]
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 |