pub type LemmaResult<T> = Result<T, LemmaError>;Expand description
Result type for Lemma operations
Aliased Type§
pub enum LemmaResult<T> {
Ok(T),
Err(LemmaError),
}pub type LemmaResult<T> = Result<T, LemmaError>;Result type for Lemma operations
pub enum LemmaResult<T> {
Ok(T),
Err(LemmaError),
}