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