Under#

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

Bases: Exp

A base type under an exponent type, called with >>.

Parameters

  • base (Ty) – The base type.

  • exponent (Ty) – The exponent type.