PRO# class discopy.rigid.PRO(n=0)[source]# 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. factory# alias of PRO