Type Definition RawResult
z3tracer::error
type RawResult<T> = Result<T, RawError>;
Result type based on RawError.
RawError