Over

class discopy.closed.Over(base, exponent)

Bases: Exp

An exponent type over a base type, called with <<.

Parameters:

• base (Ty) – The base type.

• exponent (Ty) – The exponent type.