Type Alias SmtRes

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

Convenient wrapper around std::Result.

Aliased Type

pub enum SmtRes<T> {
    Ok(T),
    Err(Error),
}

Variants

Ok(T)

Contains the success value

Err(Error)

Contains the error value