Next: Ada.Containers.Formal_Hashed_Sets (a-cfhase.ads), Previous: Ada.Containers.Formal_Doubly_Linked_Lists (a-cfdlli.ads), Up: The GNAT Library
Ada.Containers.Formal_Hashed_Maps (a-cfhama.ads)
This child of Ada.Containers defines a modified version of the Ada 2005
container for hashed maps, meant to facilitate formal verification of
code using such containers.