The node you are looking for is at gnat-style gnat-coding-style-a-guide-for-gnat-developers.