Ty

class discopy.pivotal.Ty(*inside, dom=None, cod=None, _scan=True, **kwargs)

Bases: discopy.rigid.Ty

A pivotal type is a rigid type with pivotal objects inside.

Parameters:

• inside (Ob) – The objects inside the type.

• dom (C0) –

• cod (C0) –

• _scan (bool) –

generator_factory

alias of Ob

factory

alias of Ty