Overview Schemas Index

DATE_TIME_SCHEMA (jsdai.SDate_time_schema)

TYPE second_in_minute = REAL;
WHERE
          wr1: { 0 <= SELF <= 60.0 };
END_TYPE; -- second_in_minute

Users

          local_time.second_component

public interface ESecond_in_minute