TYPE minute_in_hour

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)

TYPE minute_in_hour
 = INTEGER; 
WHERE
 	WRTM2 : { 0 <= SELF <= 59 };
END_TYPE;  (*  STEP Part 41 (unchanged in 2nd edition)  *)

Referenced By

Defintion minute_in_hour is references by the following definitions:
DefinitionType
 coordinated_universal_time_offset ENTITY
 local_time ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:38-04:00