1---- 2with Ada.Containers.Indefinite_Ordered_Maps; 3 4package Predicate2.Project.Typ.Set is 5 6 -- The type names must not be case-sensitive 7 8 package Set is new Ada.Containers.Indefinite_Ordered_Maps 9 (Name_Type, Object, "<"); 10 11 subtype Object is Set.Map; 12 13end Predicate2.Project.Typ.Set; 14