V | |
1 (Type/Class) | Linear.V |
2 (Data Constructor) | Linear.V |
V0 | |
1 (Type/Class) | Linear.V0, Linear |
2 (Data Constructor) | Linear.V0, Linear |
V1 | |
1 (Type/Class) | Linear.V1, Linear |
2 (Data Constructor) | Linear.V1, Linear |
V2 | |
1 (Type/Class) | Linear.V2, Linear |
2 (Data Constructor) | Linear.V2, Linear |
V3 | |
1 (Type/Class) | Linear.V3, Linear |
2 (Data Constructor) | Linear.V3, Linear |
V4 | |
1 (Type/Class) | Linear.V4, Linear |
2 (Data Constructor) | Linear.V4, Linear |
vector | Linear.V4, Linear |
V_P | Linear.Affine |