Eval

class discopy.closed.Eval(x)

Bases: Box

The evaluation of an exponential type.

Parameters:

x (Exp) – The exponential type to evaluate.