RevDecomposition1
libretto.lambda.Shuffled.RevDecomposition1
case class RevDecomposition1[X, X1, X2, Y1, Y2, Z1, Z2](ev: X =:= (X1 |*| X2), t: RevTransferOpt[X1, X2, Y1, Y2], g1: Y1 shuffle.~⚬ Z1, g2: Y2 shuffle.~⚬ Z2)
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article