Overview
Schemas
Index
Date_time_arm
TYPE
month_in_year_number
= INTEGER;
WHERE
WR1: { 1 <= SELF <= 12 };
END_TYPE; -- month_in_year_number
Users
Calendar_date.month_component
Year_month.month_component