class
	PLUS_ONE

General
	cluster: plus-one
	description: "Summary description for {PLUSONE}."
	create: make

Ancestors
	ANY

Queries
	a: ARRAY [INTEGER_32]
	term (n, i, a_digit: INTEGER_32): INTEGER_32
	val: INTEGER_32

Generated by ISE EiffelStudio