[][src]Type Definition splr::types::MaybeInconsistent

type MaybeInconsistent = Result<(), SolverError>;

A Return type used by solver functions.