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 RawError.

Result

Result type based on Error.