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