Exp

class discopy.closed.Exp(base, exponent)

Bases: Ty, discopy.cat.Ob

A base type to an exponent type, called with **.

Parameters:

• base (Ty) – The base type.

• exponent (Ty) – The exponent type.