Ty

class discopy.rigid.Ty(*t)

Bases: Ty, Ob

Implements pregroup types as lists of simple types.

>>> s, n = Ty('s'), Ty('n')
>>> assert n.l.r == n == n.r.l
>>> assert (s @ n).l == n.l @ s.l and (s @ n).r == n.r @ s.r