Overview
Schemas
Index
Extended_date_arm
TYPE
day_in_year_number
= INTEGER;
WHERE
WR1: {1 <= SELF <= 366};
END_TYPE; -- day_in_year_number
Users
Ordinal_date.day_component