pub type Fallible<T> = Result<T, NoSolution>;Expand description
Many of our internal operations (e.g., unification) are an attempt to perform some operation which may not complete.
pub type Fallible<T> = Result<T, NoSolution>;Many of our internal operations (e.g., unification) are an attempt to perform some operation which may not complete.