Module errors

Errors raised by Term operations

exception lambda_calculus.errors.CollisionError(message: str, collisions: Collection[V])

Bases: ValueError, Generic[V]

Exception thrown when a variable already exists, for example as a free variable.

Type Variables:

V: represents the type of variables

Parameters

• message – message to be displayed

• collisions – variables which already exist