with Ada.Strings.Bounded;
with Ada.Strings.Bounded.Hash;
with SPARK.Containers.Formal.Hashed_Maps;

package Test with SPARK_Mode is
   package SB
      is new Ada.Strings.Bounded.Generic_Bounded_Length (128);

   function SBHash is new Ada.Strings.Bounded.Hash(SB);

   type Scale is new Integer;
   package Scales_Map is
	new SPARK.Containers.Formal.Hashed_Maps(Key_Type =>
		SB.Bounded_String,
		Element_Type => Scale,
		Hash => SBHash,
		Equivalent_Keys => SB."=" );

   Repository : Scales_Map.Map := Scales_Map.Empty_Map;
end Test;
