Eval#

class discopy.closed.Eval(x)[source]#

Bases: Box

The evaluation of an exponential type.

Parameters

x (Exp) – The exponential type to evaluate.