blob: 1ba058052e9d24b15826db0c6a0d5c898a8ca697 [file] [log] [blame]
----
with Ada.Containers.Indefinite_Ordered_Maps;
package Predicate2.Project.Typ.Set is
-- The type names must not be case-sensitive
package Set is new Ada.Containers.Indefinite_Ordered_Maps
(Name_Type, Object, "<");
subtype Object is Set.Map;
end Predicate2.Project.Typ.Set;