Overview
Schemas
Index
Date_time_arm
TYPE
second_in_minute
= REAL;
WHERE
WR1: { 0 <= SELF <= 60.0 };
END_TYPE; -- second_in_minute
Users
Local_time.second_component