Eval# class discopy.closed.Eval(x)[source]# Bases: Box The evaluation of an exponential type. Parameters: x (Exp) – The exponential type to evaluate.