Reference API
Notebooks
Extra
Bases: discopy.monoidal.PRO, Ty
discopy.monoidal.PRO
Ty
A PRO is a natural number n seen as a rigid type with unnamed objects.
n
n (int) – The length of the PRO type.
alias of PRO
PRO