Next: , Previous: Ada.Containers.Formal_Hashed_Sets (a-cfhase.ads), Up: The GNAT Library


10.9 Ada.Containers.Formal_Ordered_Maps (a-cforma.ads)

This child of Ada.Containers defines a modified version of the Ada 2005 container for ordered maps, meant to facilitate formal verification of code using such containers.