exp

Contents

exp#

discopy.python.multiplicative.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, …]