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 (Wire) – The objects inside the type.

• dom (C0)

• cod (C0)

• _scan (bool)

generator_factory

alias of Wire

factory

alias of Ty