Overview
Schemas
Index
DATE_TIME_SCHEMA (jsdai.SDate_time_schema)
TYPE
hour_in_day
= INTEGER;
WHERE
wr1: { 0 <= SELF < 24 };
END_TYPE; -- hour_in_day
Users
local_time.hour_component
public interface EHour_in_day