class
	UTILS [G]

General
	cluster: brie_doom
	description: "Just utils"

Ancestors
	ANY

Queries
	all_different (ar: ARRAY [G]): BOOLEAN
	first_index (ar: ARRAY [G]; v: G): INTEGER_32
	invariant_ref_array (ar: ARRAY [G]; count: INTEGER_32): BOOLEAN

Generated by ISE EiffelStudio