Abstraction

class discopy.closed.Abstraction(var, body, left=False)

Bases: TermBase, discopy.biclosed.Abstraction

Parameters:

• var (Variable) –

• body (Term) –

• left (bool) –