Next: , Previous: Ada.Characters.Wide_Wide_Latin_9 (a-chzla9.ads), Up: The GNAT Library


10.6 Ada.Containers.Formal_Doubly_Linked_Lists (a-cfdlli.ads)

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