bearophile Tue, 05 Feb 2013 10:30:42 -0800
FG:
When should Dist's state validity be checked?
Maybe a good answer is written in the Ada2012 Standard. Bye, bearophile