exception documentation
class _UnificationFailureError(Exception): (source)
An exception that is used by _destructively_unify to abort unification when a failure is encountered.
class _UnificationFailureError(Exception): (source)
An exception that is used by _destructively_unify to abort unification when a failure is encountered.