Overview
Schemas
Index
DATE_TIME_SCHEMA (jsdai.SDate_time_schema)
TYPE
minute_in_hour
= INTEGER;
WHERE
wr1: { 0 <= SELF <= 59 } ;
END_TYPE; -- minute_in_hour
Users
local_time.minute_component
public interface EMinute_in_hour