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