(* 
 * Cartesian product of two sequences
 *)
DEF Cart AS 
   distr | EACH distl END;

