Variable

class discopy.biclosed.Variable(name, cod)

Bases: TermBase

A variable with a string as name and a Ty.

Parameters:

• name (str) –

• cod (Ty) –

name

The name of the variable

Type:

str

cod

The type of the variable.

Type:

Ty