[SYMBOL] [A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] target to action tools transformation 2nd transformation definition 2nd transformation definitions transformation tool transformation tools transition 2nd 3rd tuple 2nd type basic type conformance type:Collection Collection:type typed language |