gnatprove_14.1.1_f6ca6f8c/include/spark/spark-containers-types.ads

1
2
3
4
5
6
7
8
9
--
--  Copyright (C) 2022-2024, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
--

with Ada.Containers;

package SPARK.Containers.Types renames Ada.Containers;