Overview
Schemas
Index
date_time_schema
TYPE
day_in_month_number
= INTEGER;
WHERE
WR1: {1 <= SELF <= 31};
END_TYPE; -- day_in_month_number
Users
calendar_date.day_component