[Ada] Add a RM entry for the functional infinite sequences
authorJulien Bortolussi <bortolussi@adacore.com>
Tue, 24 May 2022 14:15:47 +0000 (16:15 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 4 Jul 2022 07:45:53 +0000 (07:45 +0000)
commite7428fff12ca000b59185c71dee511ac0c886089
tree9083ec959aaff9c311dc85e135f52f26398ed3b4
parent4030e83c276c63700b62c3cebd49097f83cf6288
[Ada] Add a RM entry for the functional infinite sequences

Modify the RM to take into account the new functional container.

gcc/ada/

* doc/gnat_rm/the_gnat_library.rst: Add the new entry.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/the_gnat_library.rst
gcc/ada/gnat_rm.texi