Type Definition rsmt2::errors::SmtRes[][src]

type SmtRes<T> = Result<T, Error>;

Convenient wrapper around std::Result.