Type Definition chalk_engine::fallible::Fallible[][src]

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.