Overview
Schemas
Index
DATE_TIME_SCHEMA (jsdai.SDate_time_schema)
TYPE
day_in_year_number
= INTEGER;
WHERE
wr1: { 1 <= SELF <= 366 } ;
END_TYPE; -- day_in_year_number
Users
ordinal_date.day_component
public interface EDay_in_year_number