class
	ECOM_ARRAY [G]

General
	cluster: com.Structures
	description: "Multi-dimensional array"
	create: make_from_array, make_empty, make

Ancestors
	ANY
	ARRAY [G]

Queries
	are_element_counts_consistent: BOOLEAN
	are_element_counts_valid (some_element_counts: ARRAY [INTEGER]): BOOLEAN
	are_indices_large_enough (some_indices: ARRAY [INTEGER]): BOOLEAN
	are_indices_valid (some_indices: ARRAY [INTEGER]): BOOLEAN
	area: SPECIAL [G]
	array_item (i: INTEGER): G
	count: INTEGER
	dimension_count: INTEGER
	element_counts: ARRAY [INTEGER]
	is_equal (other: [like Current] ECOM_ARRAY [G]): BOOLEAN
	item (some_indices: ARRAY [INTEGER]): G
	lower_indices: ARRAY [INTEGER]
	total_count (some_element_counts: ARRAY [INTEGER]): INTEGER
	upper_indices: ARRAY [INTEGER]

Commands
	copy (other: [like Current] ECOM_ARRAY [G])
	discard_items
	force (v: [like item] G; some_indices: ARRAY [INTEGER])
	initialize (v: G)
	put (v: [like item] G; some_indices: ARRAY [INTEGER])
	resize (n_upper_indices: ARRAY [INTEGER])

Constraints
	consistent upper indices
	consistent lower indices
	consistent element counts
	consistent size
	non negative count