TYPE hour_in_day

(* SCHEMA Ship_arrangement_schema; *)



   TYPE hour_in_day = INTEGER;
   WHERE
      WR1:
         (0 <= SELF) AND (SELF < 24);
   END_TYPE;

Referenced By

Defintion hour_in_day 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:16:37-04:00