Type Alias SMTResult

pub type SMTResult<T> = Result<T, SMTError>;

Aliased Type

enum SMTResult<T> {
    Ok(T),
    Err(SMTError),
}

Variants

Ok(T)

Contains the success value

Err(SMTError)

Contains the error value