Type aggregation

vec2 = C[B(1, a1), B(1, a2)]

1 Like