是的，Ada.Containers.Functional_Maps 在 Ada 2012 中确实可用。以下是一个示例代码，展示了如何在 Ada 2012 中使用 Ada.Containers.Functional_Maps：

with Ada.Containers.Functional_Maps;
with Ada.Strings.Unbounded;

procedure Main is
   package Map_String is new Ada.Containers.Functional_Maps (Key_Type => String,
                                                              Element_Type => Integer);

   My_Map : Map_String.Map;
begin
   My_Map.Insert ("One", 1);
   My_Map.Insert ("Two", 2);
   My_Map.Insert ("Three", 3);

   for Item of My_Map loop
      Ada.Text_IO.Put_Line ("Key: " & Item.Key & ", Value: " & Item.Element'Image);
   end loop;
end Main;

这个示例创建了一个字符串映射（Map），并插入了三个键值对。然后，使用 for 循环遍历 Map 中的所有元素，并将它们显示在终端上。它将输出以下内容：

Key: One, Value: 1
Key: Three, Value: 3
Key: Two, Value: 2

这说明该示例中使用的 Ada.Containers.Functional_Maps 是在 Ada 2012 中可用的。