--
--  Copyright (C) 2022-2025, Free Software Foundation, Inc.
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
--

package SPARK.Containers.Functional with SPARK_Mode, Pure is
end SPARK.Containers.Functional;
