exception documentation

class _UnificationFailureError(Exception): (source)

View In Hierarchy

An exception that is used by _destructively_unify to abort unification when a failure is encountered.