Renaming single var names to something a little more meaningful#477

dm-at-ada wants to merge 6 commits intomasterAdaCore/training_material:masterfrom

slides/276_type_contracts-code-snippets-should-use-better-names-than-single-charactersAdaCore/training_material:slides/276_type_contracts-code-snippets-should-use-better-names-than-single-charactersCopy head branch name to clipboard