TYPE day_in_month_number

(* SCHEMA cast_parts_schema; *)

  TYPE day_in_month_number = INTEGER;
  WHERE
    wr1: (1 <= SELF) AND (SELF <= 31);
  END_TYPE; -- day_in_month_number

Referenced By

Defintion day_in_month_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:48-04:00