Type Definition SmtRes
rsmt2::errors
type SmtRes<T> = Result<T, Error>;
Convenient wrapper around std::Result.
std::Result