view v product w   =>   view
v   input view
w   argument view

Product returns a view which is the cartesian product of v and w.

Example:
set v [view {A B} def {a b aa bb}]
set w [view {C D} def {c d cc dd}]

view $v product $w
ABCD
0abcd
1abccdd
2aabbcd
3aabbccdd