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