Type Alias splr::types::MaybeInconsistent

pub type MaybeInconsistent = Result<(), SolverError>;

A Return type used by solver functions.

Aliased Type

enum MaybeInconsistent {
    Ok(()),
    Err(SolverError),
}

Variants

Ok(())

Contains the success value

Err(SolverError)

Contains the error value