PRO

class discopy.rigid.PRO(n=0)

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