Type Definition Result
Other items inz3tracer::error
type Result<T> = Result<T, Error>;
Result type based on Error.
Error