PRO#

class discopy.rigid.PRO(n=0)[source]#

Bases: discopy.monoidal.PRO, Ty

A PRO is a natural number n seen as a rigid type with unnamed objects.

Parameters:

n (int) – The length of the PRO type.

factory#

alias of PRO