Overview
Schemas
Index
DATE_TIME_SCHEMA (jsdai.SDate_time_schema)
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
public interface EMonth_in_year_number