TYPE minute_in_hour

(* SCHEMA ship_structures_schema; *)

  TYPE minute_in_hour = INTEGER;
  WHERE
    wr1: ((0 <= SELF) AND (SELF <= 59));
  END_TYPE; -- minute_in_hour

Referenced By

Defintion minute_in_hour 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:17:00-04:00