PRO

class discopy.rigid.PRO(inside=0, dom=None, cod=None, _scan=True)

Bases: discopy.monoidal.PRO, Ty

A rigid PRO is a natural number n seen as a rigid type of length n.

Parameters:

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

• inside (int | tuple) –

• dom (C0) –

• cod (C0) –

• _scan (bool) –

factory

alias of PRO