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