The chapter explains the Initializes aspect, which, as I understand, marks the initialization of package state implemented as global variables, not local.
https://learn.adacore.com/courses/intro-to-spark/chapters/04_State_Abstraction.html#initialization-of-local-variables
The chapter explains the
Initializesaspect, which, as I understand, marks the initialization of package state implemented as global variables, not local.https://learn.adacore.com/courses/intro-to-spark/chapters/04_State_Abstraction.html#initialization-of-local-variables