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

type MaybeInconsistent = Result<(), SolverError>;

A Return type used by solver functions.