Overview
Schemas
Index
DATE_TIME_SCHEMA (jsdai.SDate_time_schema)
TYPE
week_in_year_number
= INTEGER;
WHERE
wr1: { 1 <= SELF <= 53 };
END_TYPE; -- week_in_year_number
Users
week_of_year_and_day_date.week_component
public interface EWeek_in_year_number