Overview
Schemas
Index
date_time_schema
TYPE
minute_in_hour
= INTEGER;
WHERE
WR1: { 0 <= SELF <= 59 };
END_TYPE; -- minute_in_hour
Users
local_time.minute_component