Overview
Schemas
Index
date_time_schema
TYPE
day_in_week_number
= INTEGER;
WHERE
WR1: { 1 <= SELF <= 7 };
END_TYPE; -- day_in_week_number
Users
week_of_year_and_day_date.day_component