Coeval

Contents

Coeval#

class discopy.biclosed.Coeval(x, left=None)[source]#

Bases: Box

The coevaluation of an exponential type, i.e. the dagger of Eval.

Parameters:

x (Exp) – The exponential type to coevaluate.