LOCAL
  p : SET OF Product_armx := [];
END_LOCAL;

REPEAT i := 1 TO HIINDEX(input) BY 1;
  p := p + input[i]\product_definition_formation.of_product; 
END_REPEAT;
RETURN (p);