Over#

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

Bases: Exp

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

Parameters

  • base (Ty) – The base type.

  • exponent (Ty) – The exponent type.