exp#

discopy.python.exp(base, exponent)[source]#

The exponential of a tuple of Python types by another.

Parameters

  • base (python.Ty) – The base type.

  • exponent (python.Ty) – The exponent type.

Return type

tuple[type, …]