Under

class discopy.closed.Under(base, exponent)

Bases: Exp

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

Parameters:

• base (Ty) – The base type.

• exponent (Ty) – The exponent type.