TYPE second_in_minute

(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)

TYPE second_in_minute
 = REAL; 
WHERE
 	WRTS1 : { 0 <= SELF < 60 };
END_TYPE;  (*  STEP Part 41 (unchanged in 2nd edition)  *)

Referenced By

Defintion second_in_minute is references by the following definitions:
DefinitionType
 local_time ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:20:36-04:00