Abstraction

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

Bases: TermBase, discopy.biclosed.Abstraction

Parameters:

• var (Variable)

• body (Term)

• left (bool)