Application

class discopy.closed.Application(func, args, left=False)

Bases: TermBase, discopy.biclosed.Application

The application func(args) of a term to another.

Parameters:

• func (Term)

• args (Term)

• left (bool)

overlap

The variables free in both func and args, which eval() copies.