#contracts Articles


Declaring subtypes of private types

Sometimes, you want to declare a subtype for a subset of the possible values of a private type. You might for example want a subtype of Ada.Calendar.Time, which only can include times in the past. If Ada.Calendar.Time was a numeric type, we could declare a subset …