1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | -- -- Copyright (C) 2019-2023, AdaCore -- -- SPDX-License-Identifier: Apache-2.0 WITH LLVM-Exception -- with Ada.Containers.Ordered_Sets; package GPR2.Project.View.Set is package Set is new Ada.Containers.Ordered_Sets (Object); type Object is new Set.Set with private; Empty_Set : constant Object; private type Object is new Set.Set with null record; Empty_Set : constant Object := (Set.Empty_Set with null record); end GPR2.Project.View.Set; |