expanded class
	NUMERIC_ITERABLE [G -> attached ANY]

General
	cluster: mathmodels
	description: "Summation over a collection according to an integer expression"

Ancestors
	ANY

Queries
	sumf (a_collection: ITERABLE [G]; f: FUNCTION [G, INTEGER_32]): INTEGER_32


Generated by ISE EiffelStudio