libgpr2_24.0.0_eda3c693/src/lib/gpr2-view_ids-set.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
--
--  Copyright (C) 2019-2023, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-Exception
--

with Ada.Containers.Hashed_Sets;

package GPR2.View_Ids.Set is new Ada.Containers.Hashed_Sets
  (GPR2.View_Ids.View_Id,
   Hash => GPR2.View_Ids.Hash,
   Equivalent_Elements => "=");