class
	INTEGER_INTERVAL

General
	cluster: base.kernel
	description: "Contiguous integer intervals"
	create: make

Ancestors
	INDEXABLE [G, H -> INTEGER]
	RESIZABLE [G]
	SET [G]

Queries
	infix "@" (i: INTEGER): INTEGER
	additional_space: INTEGER
	all_cleared: BOOLEAN
	as_array: ARRAY [INTEGER]
	capacity: INTEGER
	changeable_comparison_criterion: BOOLEAN
	count: INTEGER
	exists (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN
	exists1 (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN
	extendible: BOOLEAN
	for_all (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN
	full: BOOLEAN
	Growth_percentage: INTEGER
	has (v: INTEGER): BOOLEAN
	hold_count (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): INTEGER
	index_set: INTEGER_INTERVAL
	is_empty: BOOLEAN
	is_equal (other: [like Current] INTEGER_INTERVAL): BOOLEAN
	is_inserted (v: INTEGER): BOOLEAN
	item (i: INTEGER): INTEGER
	linear_representation: LINEAR [INTEGER]
	lower: INTEGER
	lower_defined: BOOLEAN
	Minimal_increase: INTEGER
	object_comparison: BOOLEAN
	occurrences (v: INTEGER): INTEGER
	prunable: BOOLEAN
	resizable: BOOLEAN
	subinterval (start_pos, end_pos: INTEGER): [like Current] INTEGER_INTERVAL
	upper: INTEGER
	upper_defined: BOOLEAN
	valid_index (v: INTEGER): BOOLEAN

Commands
	adapt (other: INTEGER_INTERVAL)
	automatic_grow
	compare_objects
	compare_references
	copy (other: [like Current] INTEGER_INTERVAL)
	extend (v: INTEGER)
	fill (other: CONTAINER [INTEGER])
	grow (i: INTEGER)
	prune_all (v: INTEGER)
	put (v: INTEGER)
	resize (min_index, max_index: INTEGER)
	resize_exactly (min_index, max_index: INTEGER)
	wipe_out

Constraints
	count definition
	index set is range
	not infinite