Abstraction

Contents

Abstraction#

class discopy.biclosed.Abstraction(var, body, left=False)[source]#

Bases: TermBase

Parameters:

  • var (Variable) –

  • body (Term) –

  • left (bool) –

Contents