Slide 1Slide: 1 Copyright © AdaCore Arrays Presented Quentin Ochem university.adacore.com Slide 2 Slide: 2 Copyright © AdaCore Ada Type Model Type Elementary Type AccessScalar…