(*
 * Compute the inner product of two vectors.
 *)
DEF Inner AS 
   trans | EACH * END | INSERT + END;
