Exp

Contents

Exp#

class discopy.closed.Exp(base, exponent)[source]#

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.

Contents