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 ~⚬ Z1, g2: Y2 ~⚬ Z2)
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any