(* SCHEMA AUTOMOTIVE_DESIGN; *)
TYPE month_in_year_number = INTEGER; WHERE wr1 : {1 <= SELF <= 12}; END_TYPE; -- 10303-41: date_time_schema
Generated by STEP Tools® EXPRESS to HTML Converter2012-03-27T17:16:08-04:00