Discard#
- class discopy.closed.Discard(x, n=2)[source]#
Bases:
discopy.markov.Discard,CopyA markov discard in a closed category.
- Parameters:
x (monoidal.Ty) –
Bases: discopy.markov.Discard, Copy
A markov discard in a closed category.
x (monoidal.Ty) –