TYPE month_in_year_number

(* SCHEMA ship_structures_schema; *)

  TYPE month_in_year_number = INTEGER;
  WHERE
    wr1: ((1 <= SELF) AND (SELF <= 12));
  END_TYPE; -- month_in_year_number

Referenced By

Defintion month_in_year_number is references by the following definitions:
DefinitionType
 calendar_date ENTITY


[Top Level Definitions] [Exit]

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