(a, b, c) # (d, e, f) is interpreted as (a # d, b # e, c # f)
(a, b, c) # (d, e, f)
(a # d, b # e, c # f)
- PLDWorld -