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